Nancy G. Leveson es una especialista estadounidense en seguridad de sistemas y software y profesora de Aeronáutica y Astronáutica en el MIT , Estados Unidos . [1]
Leveson obtuvo sus títulos (en informática, matemáticas y administración) de UCLA , incluido su doctorado en 1980. Anteriormente trabajó en la Universidad de California, Irvine , y en la Universidad de Washington como miembro de la facultad. Ha estudiado sistemas críticos para la seguridad , como el Sistema para evitar 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 editor de la revista IEEE Transactions on Software Engineering . Ha sido miembro de ACM , IEEE Computer Society , System Safety Society y AIAA . [3]
Leveson es profesor de Aeronáutica y Astronáutica y también profesor de Sistemas de Ingeniería en el MIT. El profesor Leveson realiza investigaciones sobre temas de seguridad de sistemas, seguridad de software, ingeniería de sistemas y software e interacción persona-computadora.
En 1999, recibió el premio ACM Allen Newell por su destacada investigación en ciencias de la computación 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 sistemas y software donde 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 necesaria ]
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 amplias consultas en muchas industrias sobre las formas de prevenir accidentes. En 2005, recibió el premio ACM Sigsoft a la investigación destacada.
Desarrolló las metodologías STPA (Análisis de procesos teóricos de sistemas) [4] y STAMP (Modelo y procesos de accidentes teóricos de sistemas) [5] [6] para el análisis de accidentes .
En 2020, recibió la Medalla IEEE de 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]