Alexis Aurandt is a Senior Engineer in the Trusted Methods group in the Applied Research & Technology (ART) organization at Collins Aerospace. Her main areas of research are temporal logics, embedded systems, and runtime verification, particularly through contributions to the R2U2 framework. She is also involved in advancing verification and assurance methods for safety-critical aerospace systems, collaborating with both academic and industry partners to transition formal methods into practical engineering workflows through projects such as FRET and DARPA's ICS and PROVERS programs.
Dr. Aurandt received both her BS (2021) and her PhD (2025) in Computer Engineering from Iowa State University. Her published research during her Graduate studies includes the following:
- Runtime Verification Triggers Real-time, Autonomous Fault Recovery on the CySat-I
- Model Predictive Runtime Verification for Cyber-Physical Systems with Real-time Deadlines
- Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems
- Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust
- R2U2 Playground: Visualization of a Real-time, Temporal Logic Runtime Monitor