NASA Formal Methods

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

NASA Ames Formal Methods Researchers (From Robust Software Engineering and Discovery and Systems Heath Groups)
Adrian Agogino University of California, Santa Cruz
Guillaume Brat Carnegie Mellon (Silicon Valley Campus)
David Bushnell TracLabs
RSE Group Leader: Joseph C. Coughlan NASA Ames
Misty Davies NASA Ames
Ewen Denney Stinger Ghaffarian Technologies (SGT)
Dimitra Giannakopoulou NASA Ames
Andre Goforth NASA Ames
Karen Gundy-Burlet NASA Ames
Yuning He University of California, Santa Cruz
Falk Howar Carnegie Mellon (Silicon Valley Campus)
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
Tim Reyes Stinger Ghaffarian Technologies (SGT)
Peter Robinson NASA Ames
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
Mike Hinchey Lero-the-Irish Software Engineering Research Centre
Former Group Leader: James L. Rash NASA Goddard

NASA/JPL Laboratory for Reliable Software
Mihaela Bobaru NASA JPL
Martin Feather NASA JPL
Ed Gamble NASA JPL
Klaus Havelund NASA JPL
Group Leader: Gerard J. Holzmann Caltech-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 NASA LaRC
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
Andrew P. Smith NIA

NASA Johnson Formal Methods Group
Group Leader: Julia Badger NASA Johnson
Jane Malin NASA Johnson
Sheena Miller NASA Johnson

NASA Dryden Formal Methods Group
Jim Disbrow NASA Dryden
[Top]

 

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