Steve Vestal

Research & Engineering

Software and Systems Engineering; Safety-Critical, Real-time Embedded Computer Systems; Real-time Resource Allocation and Scheduling


Steve Vestal has over 25 years of experience in software and systems engineering of safety-critical, real-time embedded computer systems. His primary area of interest is collaborative, multi-disciplinary model-based engineering. His areas of specialization include real-time resource allocation and scheduling; hybrid automata modeling and analysis; and safety and reliability modeling and analysis. Steve is principle investigator for the INDIGO project, which applies semantic web, automated reasoning, and graph pattern matching technologies to help users find and understand relationships between information spread across sets of diverse models and their ontologies.

Steve served as principal investigator on Galois’s support for the U.S. Army Joint Multi-Role Technology Demonstrator program. He earlier participated in the design and development of the FUSED gray-box multi-viewpoint model integration framework during the DARPA AVM META program.

Steve worked as a software architect on remote patient management systems, as principal investigator on a number of integrated modular avionics R&D projects, and supported product development programs. He led the DARPA-funded project that developed MetaH, the baseline for the SAE standard Architecture Analysis and Design Language (AADL).

Prior to joining Adventium (now Galois), Steve was a software fellow at Boston Scientific and a technical fellow at Honeywell Aerospace Labs. Google Scholar lists 70+ publications with 3000+ citations.

Steve has a Ph.D. in Computer Science from the University of Washington and B.S. degrees in Computer Science and Mathematics from Vanderbilt University.