NASA Langely Research Center

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

• César Muñoz (Leader)
• 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.