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 Armstrong 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
Group Leader: 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
Yuning He University of California, Santa Cruz
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
Peter Robinson NASA Ames
Neha Rungta Stinger Ghaffarian Technologies (SGT)
Johann Schumann Stinger Ghaffarian Technologies (SGT)
Nastaran Shafiei Stinger Ghaffarian Technologies (SGT)
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

NASA/JPL Laboratory for Reliable Software
Martin Feather NASA JPL
Klaus Havelund NASA JPL
Group Leader: Gerard J. Holzmann Caltech-NASA JPL
Rajeev Joshi NASA JPL
Rahul Kumar 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
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 Armstrong Formal Methods Group
Jim Disbrow NASA Armstrong

NASA Formal Methods Group Alumni
Mihaela Bobaru University of Nebraska–Lincoln
Victor Carreño Compass Engineering
Ed Gamble Opus Logica
Alex Groce Oregon State University
Heber Herencia-Zapana GE Global Research
Mike Hinchey Lero-the-Irish Software Engineering Research Centre
Falk Howar Institute for Applied Software Systems Engineering in Goslar (Germany)
Charles Pecheur Université Catholique de Louvain
John Penix Google Research
Lee Pike Galois, Inc.
Zvonimir Rakamar University of Utah
Vishwanath Raman FireEye, Inc.
Grigore Rosu UIUC
Kristin Yvonne Rozier University of Cincinnati
Radu Siminiceanu Amazon
Willem Visser Stellenbosch University



Skip past navigation  

Curator and Responsible NASA Official: Guillaume P. Brat
NASA Privacy Statement, Disclaimer, and Accessibility Certification
last modified: November 17, 2014