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 NASA Ames
Hamza Bourbouh KBR
Group Leader: Guillaume Brat NASA Ames
Misty Davies NASA Ames
Ewen Denney KBR
Dimitra Giannakopoulou NASA Ames
Divya Gopinath KBR
Karen Gundy-Burlet Crown Consulting
Yuning He NASA Ames
Stephen Jacklin NASA Ames
Andreas Katis KBR
Ritchie Lee NASA Ames
Michael Lowry NASA Ames
Masoud Mansouri-Samani KBR
Anastasia Mavridou KBR
Peter Mehlitz KBR
Ganesh Pai KBR
Corina Pasareanu KBR
Thomas Pressburger NASA Ames
Peter Robinson NASA Ames
Johann Schumann KBR
Kevin Seywald KBR
Nastaran Shafiei KBR
Nija Shi NASA Ames
Irfan Sljivo KBR

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

NASA Langley Formal Methods Group
Swee Balachandran NIA
Kaveh Darafsheh NASA LaRC
Aaron Dutle NASA LaRC
Marco Feliu NIA
Alwyn Goodloe NASA LaRC
George Hagen NASA LaRC
Jeffrey M. Maddalon NASA LaRC
Mahyar R. Malekpour NASA LaRC
Paolo Masci NIA
Paul S. Miner NASA LaRC
César A. Muñoz NASA LaRC
Mariano Moscato NIA
Anthony Narkawicz NASA LaRC
Natasha Neogi NASA LaRC
Ivan Perez NIA
Tanner Slagel NASA LaRC
Andrew P. Smith NIA
Laura Titolo NIA
Jason Upchurch NASA LaRC
Kurt Woodham NASA LaRC

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

NASA Armstrong Formal Methods Group

NASA Formal Methods Group Alumni
Maxime Arthaud Facebook
Mihaela Bobaru University of Nebraska–Lincoln
David Bushnell retired
Ricky W. Butler retired
Victor Carreño Compass Engineering
Jim Disbrow retired
Benedetto L. Di Vito retired
Ed Gamble Opus Logica
Andre Gofort retired
Alex Groce Oregon State University
Heber Herencia-Zapana GE Global Research
Mike Hinchey Lero-the-Irish Software Engineering Research Centre
Gerard J. Holzmann retired
Falk Howar Institute for Applied Software Systems Engineering in Goslar (Germany)
Rajeev Joshi Amazon AWS
Teme Kahsai Groq
Rahul Kumar Microsoft Research
Jane Malin retired
Charles Pecheur Université Catholique de Louvain
John Penix Google Research
Suzette Person University of Nebraska–Lincoln
Lee Pike Galois, Inc.
Zvonimir Rakamar University of Utah
Vishwanath Raman FireEye, Inc.
Grigore Rosu UIUC
Kristin Yvonne Rozier University of Cincinnati
Neha Rungta Amazon AWS
Radu Siminiceanu Amazon
Oksana Tkachuk Amazon AWS
Sarah Thompson Google
Arnaud Venet Facebook
Willem Visser Amazon AWS

[Top]

 

Skip past navigation  

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