Research Team

Formal Methods

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

Software Assurance

• Michael Holloway
• Sarah Lehman
• Mallory Graydon

Former Members

• Anthony Narkawicz (Now at Amazon Prime Air)
• Ben Di Vito (Now at Dependable Computing)
• Ivan Perez (Now at NASA ARC)
• Jason Upchurch (Now at NASA GSFC)
• Kelly Hayhurst (Retired)
• Kristin Yvonne Rozier (Now at Iowa State University)
• Lee Pike (Now at AWS)
• Mahyar Malekpour (Retired)
• Suzette Person (Now at University of Nebraska-Lincoln)
• Víctor Carreño (Now at Compass Engineering)

The tag identifies links that are outside the NASA domain