Principal Scientist at Galois, Inc.
Company:Galois, Inc.Location:Portland, OR
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
ADAPT software for Transparent Computing