September 10, 2003
Dr. Nancy Leveson
Professor of Aeronautics and Astronautics
Massachusetts Institute of Technology
BIO
Nancy Leveson received all her degrees, in math, management, and computer science, from UCLA (Ph.D. 1980) and spent her formative years being a Computer Science professor at the University of California, Irvine. Moving to Seattle in 1993 in search of rain, she was Boeing Professor of Computer Science and Engineering at the University of Washington. She has now moved to MIT in her continual search for worse weather and new fields to conquer.
Professor Leveson started a new area of research, software safety, which is concerned with the problems of building software for real-time systems where failures can result in loss of life or property. One advantage of this topic is that nobody questions its goals, except for a few misanthropes (who don't matter anyway). She and her students produced a formal requirements specification for TCAS II, a real collision-avoidance system required on all commercial aircraft in U.S. airspace. One of the lessons she has learned from this project is never to do anything like it again. The FAA was pleased with it though and adopted it as their official specification. She claims that you should not read anything into the fact that she has been taking the train a lot lately.
Professional Activities (or what she does to keep out of trouble)
Professor Leveson is recently retired as Editor-in-Chief of IEEE Transactions on Software Engineering and the Board of Directors of the International Council on Systems Engineering (INCOSE). But she is still keeping busy as an elected member of the Board of Directors of the Computing Research Association, a member of the National Research Council Commission on Engineering and Technical Systems (and liaison to the Aeronautics and Space Engineering Board), a member of the ACM Committee on Computers and Public Policy, and a member of the NASA Langley Advisory Subcommittee on Air Frame Systems Research. She chaired a National Research Council study evaluating the Space Shuttle software process and has participated on other NRC study committees on nuclear power plants, automated highways, and Space Shuttle upgrades. Dr. Leveson is a Fellow of the ACM and was awarded the 1995 AIAA Information Systems Award for contributions in space and aeronautics computer technology and science 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 recently awarded the ACM 1999 Allen Newell Award and elected to the National Academy of Engineering (NAE).
Home - NASA Office of Logic Design
Last Revised: March 06, 2003
Digital Engineering Institute
Web Grunt: Richard Katz
