NASA Formal Methods

This is the official website of the NASA Formal Methods (NFM) Research Group. Our group is currently comprised of researchers spanning five NASA centers: NASA Ames Research Center, NASA Goddard Space Flight Center, NASA Jet Propulsion Laboratory, NASA Langley Research Center, and NASA Johnson Space Center. Our research group hosts the annual NASA Formal Methods Symposium.


NASA Ames Robust Software Engineering Group
Group Leader: Joseph C. Coughlan NASA Ames
Adrian Agogino University of California, Santa Cruz
Guillaume Brat Carnegie Mellon (Silicon Valley Campus)
David Bushnell TracLabs
Misty Davies NASA Ames
Ewen Denney Stinger Ghaffarian Technologies (SGT)
Dimitra Giannakopoulou NASA Ames
Andre Goforth NASA Ames
Karen Gundy-Burlet NASA Ames
Stephen Jacklin NASA Ames
Michael Lowry NASA Ames
Masoud Mansouri-Samani Stinger Ghaffarian Technologies (SGT)
Peter Mehlitz Stinger Ghaffarian Technologies (SGT)
Corina Pasareanu Carnegie Mellon (Silicon Valley Campus)
Thomas Pressburger NASA Ames
Zvonimir Rakamar Stinger Ghaffarian Technologies (SGT)
Vishwanath Raman Carnegie Mellon (Silicon Valley Campus)
Tim Reyes Stinger Ghaffarian Technologies (SGT)
Kristin Yvonne Rozier NASA Ames
Neha Rungta Stinger Ghaffarian Technologies (SGT)
Johann Schumann Research Institute for Advanced Computer Science (RIACS)
Oksana Tkachuk Stinger Ghaffarian Technologies (SGT)
Sarah Thompson Stinger Ghaffarian Technologies (SGT)
Arnaud Venet Stinger Ghaffarian Technologies (SGT)

NASA Goddard Formal Methods Group
Former Group Leader: James L. Rash NASA Goddard
Mike Hinchey Lero-the-Irish Software Engineering Research Centre

NASA/JPL Laboratory for Reliable Software
Group Leader: Gerard J. Holzmann Caltech-NASA JPL
Mihaela Bobaru NASA JPL
Martin Feather NASA JPL
Ed Gamble NASA JPL
Klaus Havelund NASA JPL
Rajeev Joshi NASA JPL

NASA Langley Formal Methods Group
Group Leader: Ricky W. Butler NASA LaRC
Benedetto L. Di Vito NASA LaRC
Alwyn Goodloe NIA
George Hagen NASA LaRC
Heber Herencia NIA
Jeffrey M. Maddalon NASA LaRC
Mahyar R. Malekpour NASA LaRC
Paul S. Miner NASA LaRC
César A. Muñoz NASA LaRC
Anthony Narkawicz NASA LaRC
Natasha Neogi NIA
Suzette Person NASA LaRC
Radu L. Siminiceanu NIA

NASA Johnson Formal Methods Group
Julia Braman NASA Johnson
Jane Malin NASA Johnson
Sheena Miller NASA Johnson
[Top]

 

Skip past navigation  

Curator and Responsible NASA Official: Kristin Y. Rozier
NASA Privacy Statement, Disclaimer, and Accessibility Certification
last modified: May 9, 2011