Fighter jet in flight


Current and past projects include the following:

  • Arguing Safe Autonomous Maneuvers with a Runtime Assurance-Protected Neural Network Controller
  • Development of Assured Software Through Formal Specification
  • Application of Formal Methods to Software for Autonomy Services
  • Assurance of Manned-Unmanned Teaming (Assured MUM-T)
  • The Comprehensive Lifecycle for Assuring System Safety – CLASS
  • Model-Based Compositional Reasoning for Complex Systems of Systems
  • Formal Verification of System Properties in Model-based Development
  • Formal Verification of Security Properties of Binary Programs
  • Airspace Integration Safety Case for the Navy MQ-4C Triton Unmanned Aircraft System