|
|
|
||||||||||||||||||||||||||
|
In September 2006 I started as a tenure-track professor in the Computer Science Department at the University of Texas at Dallas. My research focus concerns the emerging field of language-based security, which leverages techniques from programming language theory and compilers to enforce software security. I am currently developing automated program-rewriting technologies for enforcing security policies that constrain the behavior of untrusted code. My interests include In-lined Reference Monitors, Execution Monitors, Type-safe intermediate languages, Proof-Carrying Code, and Certifying Compilers. I got my Master's and Ph.D degrees from Cornell University, where I was advised by Professors Greg Morrisett and Fred Schneider. My doctoral research there was part of the Language-Based Security For Malicious Mobile Code initiative. For my thesis, I designed and implemented a certifying program-rewriting system for the Microsoft .NET Framework. See my research page for details. I earned my Bachelor's degree from Carnegie Mellon University, where I was involved in the Fox Project. For my undergraduate honor's thesis, I worked with Peter Lee and George Necula on Proof-Carrying Code for x86 architectures. Courses
|