People
Isaac Amundson
Junaid Babar
Darren Cofer
Jennifer Davis
David Hardin
Cong Liu
Lucas Wagner
Projects
MATRICS
INSPECTA
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
David Greve
Associate Director Engineer
david.greve@collins.com
Konrad Slind
Industrial Logician
konrad.slind@gmail.com
