Research Team

Formal Methods

• César Muñoz - Team Lead
• Ricky Butler (AMA Inc.)
• Esther Conrad
• Aaron Dutle
• Marco Feliu (AMA Inc.)
• Alwyn Goodloe
• George Hagen
• Laura Humphrey
• Jeff Maddalon
• Paolo Masci (AMA Inc.)
• Paul Miner
• Mariano Moscato (AMA Inc.)
• Natasha Neogi
• John Siratt
• Tanner Slagel
• Lauren White

Software Assurance

• Michael Holloway
• Mallory Graydon

Former Members

• Víctor Carreño (Retired)
• María Consiglio (Retired)
• Ben Di Vito (Retired)
• Kelly Hayhurst (Retired)
• Sarah Lehman
• Mahyar Malekpour (Retired)
• Anthony Narkawicz (Now at Amazon Prime Air)
• Ivan Perez (Now at KBR @ NASA ARC)
• Suzette Person (Now at University of Nebraska-Lincoln)
• Lee Pike
• Kristin Yvonne Rozier (Now at Iowa State University)
• Laura Titolo(Now at Code Metal)
• Jason Upchurch (Now at NASA GSFC)

The tag identifies links that are outside the NASA domain