omega tau - science & engineering [English only]

During my visit to DLR's Earth Observation Center earlier this year I also talked to Dana Floricioiu about her work in glaciology. We discuss a couple of her recent publications, and then focus on her trip to the Darwin Glacier in Antarctica. Together with a team of fellow scientists, she camped on the glacier for three weeks to conduct various in-situ experiments. We discussed the work, but also life on the glacier.

The increasing complexity of software requires increasingly sophisticated means of ensuring its correctness -- "just" testing is not necessarily good enough, depending on the domain in which the software is used. Formal specification, verification and proof is a field with a long tradition in computer science that is gaining more (practical) relevance these days; and in this episode, we cover the basics. Our guest is Benjamin Pierce, professor of computer science at UPenn. We discuss the nature of (good) specifications, how verification and proof is different from testing, and where and how these techniques are successfully used today.

This is the last episode recorded during my visit to ESA's ESTEC last fall. I get a tour of the Test Centre with the head of the section, Mark Wagner. We discuss the various test stands and facilities, including the thermal vacuum facility, the large space simulator, the thermal vacuum chamber, the vibration facilities, electromagnetic testing and acoustic testing.

During my visit to ESA's ESTEC last fall, I talked to Jose Gonzalez del Amo, who is the head of the Electric Propulsion Lab. We discussed the basics of electric propulsion, the pros and cons compared to chemical engines, different engine styles and their use cases, as well as the work ESA performs in the lab.

David Woods has a new book out, so of course he has to talk about it on omega tau :-) His recent book is about the Saturn V launch vehicle, i.e., this time it is about the rocket, not about the spaceship. In this episode we dive into lots of details that we did not cover in the two Apollo episodes (episodes 83 and 97) -- make sure you have listened to those before you listen to this one.

In October 2015, Joseph Tainter was my guest in omega tau 184 to discuss his concept of increasing complexity and eventual collapse of societies. In this episode, our guest Paul Arbair discusses these concepts in the light of today's rising populism in several countries. The episode is based on two articles Paul wrote on his blog: one on Brexit and one on Trump.

Late 2016, during a trip to the Netherlands, I visted Rutger Vlek of River Creative Technology in his home studio to record an episode about synthesizers. We talked about the basics of sound generation, various enveloping and filtering techniques, sound design, the different fundamental approaches of sound synthesis, as well as a couple of classic synths. Rutger illustrated lots of approaches with samples from some of his many synthesizers.

Last fall I visited ESTEC, ESA's space research and technology center. In this first of three episodes, I talk with Maria Hernek, who heads the Flight Software Systems section. We talk about the challenges of space flight software, the development processes used by ESA and its vendors, as well as means of ensuring the required quality attributes. This episode can be seen as a continuation of the conversation with Andreas Wortmann in the OHB episode.

Rick Ruiz is a pilot for Atlas Air where he flies various versions of the Boeing 747 freighter. Previously he flew the 767 and the 777 for LAN Chile, primarily cargo as well. Rick is also a crew member of the Airline Pilot Guy podcast, where he is known as Miami Rick. In this episode, we stroll through the woods around Landstuhl, Germany, where I visited Rick while he was on a layover. We geek out about flying the Big Boeings.

Last fall I visited EPFL for a programming languages workshop when I saw a poster on bio inspired systems. Darja's name was on the poster because she coordinates the programme; I sent her an email and asked if she wanted to talk a bit with me about this field while I am at EPFL. Her calendar had some free time, and so we met. In the episode we discuss why it makes sense for system designers to look at biology and nature as an inspiration and then explore lots of examples that are currently being researched at EPFL.

Particle accelerators are the backbone of today's particle physics research and help us understand the smallest building blocks our world is made of. To understand this deeper, more powerful accelerators are needed, beyond what is possible with today's LHC. The world's physics community is continuously running studies to explore science questions and evaluate the required accelerators; one of those the studies is the Future Circular Collider study led by CERN. In this episode we discuss the science questions as well as the core engineering challenges with the two leaders of the FCC study, Michael Benedikt and Frank Zimmermann.

The sea ice in the arctic and antarctic regions of the earth is an especially sensitive indicator of the earth's climate, and in particular, the current overall atmospheric temperature of the planet. It was recently reported to have reached a new low. Our guest, NASA's Walt Meier explains why this is the case and which processes govern the increase or decrease of the ice. We then discuss how the ice mass is measured based on satellite and how its thickness is estimated based mostly on in-situ measurements. We cover climate modeling and its connection to sea ice and conclude with an outlook on future research.

Tidal power refers to extracting electrical energies out of the tide streams in oceans. Various techniques exist. Tocardo is a provider of axial turbines, and our guest, Pieter de Haas, is their CTO. In this episode we talk about tidal power in general, siting, the design and engineering of Tocardo's turbines as well as the overall economic and technical trade-offs in making the turbines work over the long run.

When I was young, in the 80s, I was extremely interested in military airplanes, I more or less grew up with three iconic fighters: the F-15, F-16 and F-18. I want to thoroughly cover those airplanes on omega tau, and this episode on the F-15 is a great start. I talk with Jeff Fellmeth, a former F-15A/C/E pilot about the airplane, avionics, trainings, missions and the units he has been a part of. We also talk a little bit about related topics, such as the Bronco and gliders.

The V-22 Osprey is the first operational tilt rotor aircraft. After not always problem-free development and test period, it is now used successfully with the USAF and the USMC. In this episode we talk to a V-22 pilot, Maj. Seth Cannon of the 7th SOS in RAF Mildenhall about the aircraft, some of its systems, and, primarily, about how it is flown. I met Seth Cannon in Bayreuth, where one of the 7th SOS had to land because of problems with a gearbox. Read the story here. This is also where I took the pictures below.