+ Contact NASA
+ ABOUT NASA
+ NEWS
+ MISSIONS
+ MULTIMEDIA
+ CONNECT
+ ABOUT NASA
+ HOME
+ WELCOME
+ QUICK PAGE
+ PHILOSOPHY
+ TEAM
+ RESEARCH
+ LINKS
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