Nancy G. Leveson es una especialista estadounidense en seguridad de sistemas y software y profesora de Aeronáutica y Astronáutica en el Instituto Tecnológico de Massachusetts (MIT), Estados Unidos . [1]
Leveson obtuvo sus títulos (en informática, matemáticas y administración) en la Universidad de California en Los Ángeles , incluido su doctorado en 1980. Anteriormente trabajó en la Universidad de California en Irvine y en la Universidad de Washington como miembro del cuerpo docente. Ha estudiado sistemas críticos para la seguridad, como el Sistema de prevención de colisiones de tráfico (TCAS) para evitar colisiones en el aire entre aeronaves y problemas con la máquina de radioterapia Therac-25 . [2]
Leveson ha sido editora de la revista IEEE Transactions on Software Engineering . Ha sido miembro de la ACM , la IEEE Computer Society , la System Safety Society y la AIAA . [3]
Leveson es profesor de Aeronáutica y Astronáutica y también de Sistemas de Ingeniería en el MIT. El profesor Leveson lleva a cabo investigaciones sobre los temas de seguridad de sistemas, seguridad de software, ingeniería de software y sistemas e interacción hombre-computadora.
En 1999 recibió el premio ACM Allen Newell por su destacada investigación en informática y en 1995 el premio AIAA Information Systems por "desarrollar el campo de la seguridad del software y promover prácticas responsables de ingeniería de software y sistemas en los que la vida y la propiedad están en juego". Fue elegida miembro de la Academia Nacional de Ingeniería (NAE) en 2000 por sus contribuciones a la seguridad del software. [ cita requerida ]
Ha publicado más de 200 artículos de investigación y es autora de dos libros: "Safeware: System Safety and Computers", publicado en 1995 por Addison-Wesley, y "Engineering a Safer World", publicado en 2012 por MIT Press. Realiza consultorías en muchas industrias sobre las formas de prevenir accidentes. En 2005, recibió el premio ACM Sigsoft Outstanding Research Award.
Desarrolló las metodologías STPA (System Theoretic Process Analysis) [4] y STAMP (System Theoretic Accident Model and Processes) [5] [6] para el análisis de accidentes .
En 2020, recibió la Medalla IEEE para Tecnologías Ambientales y de Seguridad por su desarrollo de STAMP y otras herramientas de análisis de modelado de accidentes y seguridad de sistemas. [7]