My research vision is to develop systems that automatically check the world's software for exploitable bugs. The two most important words to me are shown in red. My approach is based on using program analysis with security-specific properties, which I call software security. I am a Professor of Electrical and Computer Engineering, with an additional courtesy in the Computer Science Department, previously the Director of CyLab, and the CEO of ForAllSecure I teach Introduction to Computer Security (18-487), Software Security (18-732), and Malware, Defense, and Vulnerability Analysis (18-739c). I also run PicoCTF, an annual computer security contest for high school students.