I am an Assistant Professor who recently joined the Georgia Tech College of Computing in Fall 2006. I earned my Ph.D. from the University of Wisconsin in 2006, where I was a Wisconsin Distinguished Fellow. Also at Wisconsin, I received my B.S. degree in Mathematics in 2000 and my M.S. degree in Computer Sciences in 2002. I enjoy research in software security, operating system security, and attack analysis. My research builds upon techniques from program analysis, formal methods, and operating systems to retrofit security to insecure systems and software. I investigate both defensive systems and attacks against those systems. On the defensive side, I design new intrusion detection systems that prevent anomalous program execution by constraining execution to a model of expected execution behavior derived from static program analysis. To evaluate the ability of intrusion detectors to actually detect attacks, I then attack the detectors. Formal analysis of the detectors provides insight into their true attack detection capability and illuminates weaknesses requiring continued research into intrusion detection. I am a member of the Georgia Tech Information Security Center (GTISC). I am a former chairperson of the Georgia Tech Institute-level committee on Student Computer Ownership.