Dr. Kristin Y. Rozier gave an invited lecture on “Formal Methods and Other Awesome Applications in Engineering” for the Introduction to Engineering course at the University of Miami. The talk was part of a series of invited talks from industry aimed at retention of first-year engineering students with the goal of tying elementary engineering concepts to concrete applications and careers in engineering.
Dr. Rozier presented an overview on some of the most important principles of formal methods, such as model checking and runtime monitoring. She featured her recent work on real-time system health management for NASA’s SWIFT “smart” Unmanned Aerial System (UAS) and application of formal verification techniques early in the design stage of the Automated Airspace Concept (AAC) for the future of air traffic control. Other features of the talk included tying in the students’ recent lessons on piezoelectricity to the potential use of piezoelectric actuators for morphing airplane wings, and tying in the students’ recent lessons on sensors and signal processing to Kepler’s use of them in the search for Earth-like planets.
The invited lecture was attended by the 34 students in the Introduction to Engineering course. The talk inspired many questions and several students following up to inquire about NASA internship opportunities.
BACKGROUND: Dr. Kristin Yvonne Rozier is a Research Computer Scientist contributing research to the Next Generation Air Transportation System (NextGen) Air Traffic Management project of the Airspace Systems Program. Dr. Rozier focuses on automated techniques for formal specification and verification of safety-critical systems.
NASA PROGRAM FUNDING: Separation Assurance Research Focus Area, Airspace Systems Program
Contact: Kristin Y. Rozier