Nancy Leveson

Nancy G. Leveson is an American specialist in system and software safety and a professor of Aeronautics and Astronautics, and of Engineering Systems, at the Massachusetts Institute of Technology. She earned degrees in computer science, mathematics and management from the University of California, Los Angeles, including her PhD in 1980, and earlier taught at the University of California, Irvine, and the University of Washington. She has studied safety-critical systems such as the Traffic Collision Avoidance System and the Therac-25 radiation therapy machine, and she developed the STAMP accident model and the STPA hazard analysis method. Her honours include the ACM Allen Newell Award in 1999, election to the National Academy of Engineering in 2000 and the IEEE Medal for Environmental and Safety Technologies in 2020.