|
|
|
|
||||||||||||||||||||||||||
 |
I am currently an Assistant 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. Topics of interests include in-lined reference monitors, type-safe intermediate languages, software abstract interpretation and model-checking, proof-carrying code, and certifying compilers. My other research areas include malware defense and cloud computing security. I am currently supported by grants from the U.S. Air Force Office of Scientific Research (AFOSR) and the National Science Foundation (NSF). This year I am being considered for tenure at UTD. Please see my tenure review materials for information regarding my candidacy. I received my Master's and Ph.D. degrees from Cornell University, where my doctoral research 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. I received my Bachelor's degree from Carnegie Mellon University, where I was involved in the Fox Project. For my undergraduate honor's thesis, I worked on Proof-Carrying Code for x86 architectures. Courses
|
