8:30 AM to 10:00 AM Concurrent Sessions Thursday, September 3, 2026
Use of AI & ML in Propulsion Development
Session Chair: Dr Stephen (Alex) Schumaker - USAF AFRL/RQT
8:30 AM - 9:00 AM
LLM facilitated Temporal Logic formalization for Turbine Engine System Requirements Parsing, Completeness Check and Embedding Presenter: Dr Mark Moulin - RTX
9:00 AM - 9:30 AM
Accelerating DO178C Compliance A HumanGuided LLM Framework for Software Certification Artifacts Presenter: Mr James McCoy - Quest Defense Service Solutions
