NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Dr. Rozier Gives Workshops on Mathematical Logic for “Wow! That’s Engineering”Dr. Kristin Y. Rozier was invited to give two work
Intelligent Systems Division Banner

Dr. Rozier Gives Workshops on Mathematical Logic for “Wow! That’s Engineering”Dr. Kristin Y. Rozier was invited to give two work

Dr. Kristin Y. Rozier was invited to give two workshops on mathematical logic and knowledge reasoning by the Society of Women Engineers as part of their program for high school girls entitled, “WOW! That’s Engineering!” Dr. Rozier worked with about fifty teenagers throughout the day in an effort to expose them to the possibilities for Science, Technology, Engineering, and Mathematics (STEM) careers. Her interactive workshops “Logic is Magical!” were tasked with introducing a unique engineering topic to inspire creativity and educate on challenges in design, construction, and execution. She also served as a panelist on a panel for parents of high school girls to learn about opportunities for their daughters, challenges they may face, and ways of aiding their daughters in the pursuit of math and science careers. “WOW! That’s Engineering!” was held at San Jose State University on February 1, 2014.

ABSTRACT: Logic isn’t just the stuff of magic tricks and parlor games, though you'll learn some cool party tricks in this workshop too. Learning reasoning about knowledge will you show you that you actually know more than you think you do. The very same logic and knowledge reasoning skills of fun and games are used for formal verification of life-critical systems at NASA. From maintaining safe separation between commercial aircraft to real-time safety monitoring of unmanned aerial systems, the trick to verifying system safety isn't magic, it’s just logic!

BACKGROUND: While the demand for technology-savvy entrants in the workplace is growing three times faster than all other occupations, the percentage of women engineers in the workforce remains at approximately 11%. In an effort to change the current perspective of engineering and technology fields among girls, the Society of Women Engineers celebrated WOW! That’s Engineering!, honoring the achievements of women and girls as they develop and discover the future through technology.

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. She focuses on automated techniques for formal specification and verification of safety-critical systems.

NASA PROGRAM FUNDING: Separation Assurance Research focus area, Airspace Systems Program (ASP), Aeronautics Research Mission Directorate (ARMD)

Contact: Kristin Y. Rozier

First Gov logo
NASA Logo -