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