NASA Langley Research Center

The following staff scientists are currently in the Formal Methods Team for Aviation Safety at the National Institute of Aerospace (NIA):

• Radu Siminiceanu
• Alwyn Goodloe

• Gerald Lüttgen, University of York, UK.
• Hanne Gottliebsen, Queen Mary, University of London, UK.
• Alfons Geser, Leipzig University of Applied Sciences, Germany.
• César Muñoz, NASA, US.