Leveson is Professor of Aeronautics and
Astronautics and also Professor of Engineering Systems at MIT. Prof. Leveson conducts research on the topics of system safety, software safety, software and system engineering, and human-computer interaction. In 1999, she received the ACM Allen Newell Award for outstanding computer science research and in 1995 the AIAA Information Systems Award for "developing the field of software safety and for promoting responsible software and system engineering practices where life and property are at stake." She was elected a member of the
National Academy of Engineering (NAE) in 2000 for contributions to software safety. She has published over 200 research papers and is author of three books, "Safeware: System Safety and Computers" (1995) published by Addison-Wesley; and "Engineering a Safer World" (2012) and "An introduction to system safety engineering" (2023), both published by MIT Press. She consults extensively in many industries on the ways to prevent accidents. In 2005, she received the ACM Sigsoft Outstanding Research Award. She developed the STPA (System Theoretic Process Analysis) and STAMP (System Theoretic Accident Model and Processes) methodologies for
accident analysis. In 2020, she received the
IEEE Medal for Environmental and Safety Technologies for her development of STAMP and other system safety and accident modeling analysis tools.{{citation == Books ==