Nancy Leveson

Nancy G. Leveson is an American computer scientist (software engineer), aerospace engineer, systems engineer and professor at the Massachusetts Institute of Technology (MIT). She deals with software security.

Leveson received his PhD in 1980 from the University of California, Los Angeles , with Daniel Berry (Applying Behavioral Abstraction to Information System Design and Integrity). She was Professor of Computer Science at the University of California, Irvine , from 1993 Boeing Professor of Computer Science and Engineering at the University of Washington and later moved to MIT.

She deals with software engineering and system and software security, especially in security-critical real-time applications, and gives extensive advice in this area to industry and, among others, to NASA . For example, the draft of the safety requirements for Traffic Alert and Collision Avoidance System II, which was adopted by the FAA , comes from her and her students . She uses a system-theoretical modeling of accidents (STAMP) that goes beyond the usual event chain simulation. She also examined their application beyond the engineering sciences, for example in safety in hospitals, medicines, in the financial sector.

In 1999 she received the ACM-AAAI Allen Newell Award , in 1995 the AIAA Information Systems Award and in 2005 she received the ACM Sigsoft Outstanding Research Award. She is a member of the National Academy of Engineering . She is a Fellow of the Association for Computing Machinery .

Fonts

• Safeware: System Safety and Computers, Addison-Wesley 1995
• Engineering a safer world, MIT Press 2012
• A new accident model for engineering safer systems, Safety Science, Volume 42, 2004, pp. 237-270 (on STAMP)
• High-Pressure Steam Engines and Computer Software, IEEE Software, October 1994

Web links

• Homepage at MIT

Individual evidence

1. ↑ Nancy Leveson in the Mathematics Genealogy Project (English)