Update: Scitech 2017 Panel – Verification versus Certification for Software Intense Systems
This is an update to our Scitech 2017 Panel – Verification versus Certification for Software Intense Systems, regarding some more details on the topics the panel will discuss
Natasha Neogi, NASA Headquarters, Office of the Chief Scientist, United States, https://shemesh.larc.nasa.gov/fm/index.html
Topic: Verification Issues for Increasingly Autonomous Systems: A Certification Perspective
Bio: Dr. Natasha Neogi is currently a staff scientist at the Office of the Chief Scientist, NASA Headquarters . Prior to this, she was a research scientist at NASA Langley Research center, and worked on the UAS Integration in the NAS project and Safe Autonomous Systems Operation project. Her primary research interests are in the verification and validation of software-intensive safety-critical infrastructure systems, as well as certification issues concerning airworthiness of UAS. She received e a M.Phil in Physics from Cambridge University in Cambridge, UK, and then received her Ph.D in Aeronautical and Astronautical Engineering from the Massachusetts Institute of Technology in Cambridge, Massachusetts. She is an associate fellow of the AIAA, and was the recipient of the AIAA Robert A. Mitcheltree and PEC Doug P. Ensor Young Engineer awards in 2012. She has numerous awards and publications in AIAA, IEEE and ACM conferences and journals.
Kristin Yvonne Rozier, Iowa State University, United States, http://temporallogic.org/kyr
Topic: Adding Runtime Verification without Loosing Certification
Bio: Professor Kristin Yvonne Rozier heads the Laboratory for Temporal Logic in Aerospace Engineering at Iowa State University; previously she spent 14 years as a Research Scientist at NASA and three semesters as an Assistant Professor at the University of Cincinnati. She earned her Ph.D. from Rice University and B.S. and M.S. degrees from The College of William and Mary. Dr. Rozier’s research focuses on automated techniques for the formal specification, validation, and verification of safety critical systems. Her primary research interests include: design-time checking of system logic and system requirements; runtime system health management; and safety and security analysis.
Her advances in computation for the aerospace domain earned her many awards including: the NSF CAREER Award; the NASA Early Career Faculty Award; American Helicopter Society’s Howard Hughes Award; Women in Aerospace Inaugural Initiative-Inspiration-Impact Award; two NASA Group Achievement Awards; two NASA Superior Accomplishment Awards; Lockheed Martin Space Operations Lightning Award; AIAA’s Intelligent Systems Distinguished Service Award. She is an Associate Fellow of AIAA and a Senior Member of IEEE and SWE. Dr. Rozier serves on the AIAA Intelligent Systems Technical Committee, where she chairs the Professional Development, Education, and Outreach subcommittee. She has served on the NASA Formal Methods Symposium Steering Committee since working to found that conference in 2008.
Virginie Wiels, Acting Director, ONERA – The French Aerospace Lab, Département Traitement de l’information et Modélisation (DTIM), France, http://www.onera.fr/staff/virginie-wiels
Topic: Formal Methods and Certification: Contributions and Challenges
André Platzer, Carnegie Mellon University, United States, http://www.cs.cmu.edu/~aplatzer/
Topic: Lessons from the Formal Verification of the Next-generation Airborne Collision Avoidance System ACAS X
Bio: André Platzer is an Associate Professor of Computer Science at Carnegie Mellon University. He develops the logical foundations of cyber-physical systems to characterize their fundamental principles and to answer the question how we can trust a computer to control physical processes.
André Platzer has a Ph.D. from the University of Oldenburg, Germany, received an ACM Doctoral Dissertation Honorable Mention and NSF CAREER Award, and was named one of the Brilliant 10 Young Scientists by the Popular Science magazine and one of the AI’s 10 to Watch by the IEEE Intelligent Systems Magazine.