People
Isaac Amundson
Junaid Babar
Darren Cofer
Jennifer Davis
David Hardin
Cong Liu
Projects
MATRICS
INSPECTA
CASE
AAHAA
AMASE
HACMS
Past Projects
Tools
AGREE
FuzzM
JKind
Resolute
SpeAR
Publications
Facebook
Isaac Amundson
Fellow
isaac.amundson@collins.com
Darren Cofer
Principal Fellow
cofer@ieee.org
