I currently work at MIT Lincoln Laboratory doing research for the Cyber Systems Assessments group. In 2011 I completed my BSc in Computer Science at the University of Illinois at Urbana-Champaign. I have also spent some time at Lockheed Martin and the Center for Simulation of Advanced Rockets.

My primary research area is static analysis of binary programs. More broadly, I am interested in program analysis, program obfuscation, and content protection. I maintain the Spectral Graph Theory Pages, a comprehensive (best-effort) directory of spectral graph theory resources.