Leveson conducts research on the topics of system safety, software safety, software and system engineering, and human-computer interaction.In 1999, she received the ACM Allen Newell Award for outstanding computer science research and in 1995 the AIAA Information Systems Award for "developing the field of software safety and for promoting responsible software and system engineering practices where life and property are at stake."