Computer Security as Software Engineering

Professor Levitt conducts research in the areas of computer security, automated verification, and software engineering. He examines how computer security is and is not subject to automation. His presentation will draw on both his work as a researcher, and his time a program manager for cybersecurity with National Science Foundation.