People
Isaac Amundson
Junaid Babar
Darren Cofer
Jennifer Davis
David Greve
David Hardin
Cong Liu
Projects
CASE
AAHAA
AMASE
HACMS
Past Projects
Tools
AGREE
FuzzM
JKind
Resolute
SpeAR
Publications
Facebook
John Backes
Senior Research Scientist
john.backes@gmail.com
Andrew Gacek
Industrial Logician
andrew.gacek@gmail.com
Konrad Slind
Industrial Logician
konrad.slind@gmail.com
Lucas Wagner
Principal Research Scientist
lucas.wagner@rockwellcollins.com