My research vision is to develop systems that automatically check the world’s software for exploitable bugs. My approach is based on using program analysis with security-specific properties, which I call software security. I am an Associate Professor of Electrical and Computer Engineering, with an additional courtesy in the Computer Science Department, the Technical Director for CyLab, and the CEO of ForAllSecure