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
Isaac Amundson
Senior Principal Trusted Systems Engineer
isaac.amundson@collins.com
Darren Cofer
Principal Fellow
cofer@ieee.org