Computer Security as Software Engineering

Saturday, 14 February 2015: 1:30 PM-4:30 PM
Room LL20C (San Jose Convention Center)
Karl Levitt, University of California, Davis, CA
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.