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
Teme Kahsai Carnegie Mellon (Silicon Valley Campus)
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
Kaveh Darafsheh NASA LaRC
Benedetto L. Di Vito NASA LaRC
Aaron Dutle 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
Mariano Moscato NIA
Anthony Narkawicz NASA LaRC
Natasha Neogi NASA LaRC
Suzette Person NASA LaRC
Andrew P. Smith NIA
Jason Upchurch NASA LaRC
Kurt Woodham NASA LaRC

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


Skip past navigation  

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