Research Team

Formal Methods

• Ricky Butler (AMA Inc.)
• Esther Conrad
• 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
• John Siratt
• Tanner Slagel
• Lauren White
• Sungshik Yim (AMA Inc.)

Software Assurance

• Michael Holloway
• Sarah Lehman
• Mallory Graydon

Former Members

• Víctor Carreño (Now at Compass Engineering)
• Ben Di Vito (Now at Dependable Computing)
• Kelly Hayhurst (Retired)
• Mahyar Malekpour (Retired)
• Anthony Narkawicz (Now at Amazon Prime Air)
• Ivan Perez (Now at NASA ARC)
• Suzette Person (Now at University of Nebraska-Lincoln)
• Lee Pike (Now at AWS)
• 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