John Shackleton has over 25 years of research engineering experience, specializing in real-time embedded systems, model-based engineering, and cybersecurity.
Since 2013 he has served as the PI for several Adventium Labs (now Galois) projects. John recently led the effort on the DARPA Cyber Assured System Engineering (CASE) program, subcontracted to Collins Aerospace to develop an automated trusted build environment for unmanned vehicle platforms.
Additionally, John is a lead developer for several of the Galois AADL-based analysis tools, including the FASTAR timing analysis tools, the MILS cybersecurity analysis tool, and the TUREC continuous tradespace analysis environment. He was also the technical lead for the Galois authoritative source of truth (ASoT) study, responsible for developing a series of prototype demonstrations that highlight cross-domain modeling interoperability requirements.
Other technical areas of interest for John include dynamic resource management, safety-critical systems, and cyber forensics.
He has an M.S. Computer Science from the University of Minnesota and a B.A. in Computer Science from Saint John’s University.