Skip past navigation NASA Langley Formal Methods


home

welcome

quick page

philosophy

team

research

links

new?
  home > team > civil servants

NASA Langley Formal Methods Civil Servants

Formal Methods Team

Software Assurance Team

Previous Members

  • Víctor Carreño (Now at Compass Engineering)
  • Lee Pike (Now at Galois, Inc.)
  • Suzette Person (Now at University of Nebraska-Lincoln)
  • Kristin Yvonne Rozier (Now at Iowa State University)
  • Jason Upchurch (Now at Department of Energy)

Note: The [ext] tag identifies links that are outside of the NASA domain.

 

  Skip past navigation  
home | welcome | quick page | philosophy | team | research | quote | links | new?
Curator and Responsible NASA Official: Ricky W. Butler
larc privacy statement
last modified: 26 September 2003 (10:06:24)