NASA Langley Formal Methods Civil Servants
Software Assurance Team
Previous Members
- Ricky Butler
- Víctor Carreño (Now at Compass Engineering)
- Ben Di Vito
- Kelly Hayhurst
- César Muñoz (Now at
Amazon Web Services)
- Anthony Narkawicz (Now at Amazon Prime Air)
- Lee Pike (Now at AWS)
- Suzette Person (Now at University of Nebraska-Lincoln)
- Kristin Yvonne Rozier (Now at Iowa State University)
- Jason Upchurch (Now at NASA GSFC)
The tag
identifies links that are outside
the NASA domain