Recent Projects

  • MATRICS: Modeling and Analysis Toolkit for Realizable Intrinsic Cognitive Security
  • INSPECTA: Industrial Scale Proof Engineering for Critical Trustworthy Applications
  • CASE: Cyber Assured Systems Engineering
  • AAHAA: Architecture and Analysis for High-Assurance Autonomy
  • AMASE: Architectural Modeling and Analysis for Safety Engineering
  • HACMS: High Assurance Cyber Military Systems

Past Projects

  • SoI: Air Force Research Lab's Summer of Innovation
  • FMTQ: Formal Methods Tool Qualification
  • CCAS: Certification Considerations for Adaptive Systems
  • CVFCS: Compositional Verification of Flight Critical Systems
  • DO-333: Certification Case Studies using Formal Methods
  • META: Complexity-Reducing Design Patterns for Cyber-Physical Systems