Kevin Hamlen

Kevin W. Hamlen


Photo credit: C&K Cinematography

I am a Eugene McDermott Professor (endowed chair) in the Computer Science Department at the University of Texas at Dallas, and a Senior Technical Advisor of UTD's Cyber Security Research and Education Institute. My research focus concerns the field of language-based security, which leverages techniques from programming language theory and compilers to enforce software security. Topics of interest include in-lined reference monitors, type-safe intermediate languages, software abstract interpretation and model-checking, proof-carrying code, and certifying compilers. I also have ongoing projects related to software cyber-deception, malware defense, and cloud computing security. My research is currently supported by grants from the U.S. Air Force Office of Scientific Research (AFOSR), the National Science Foundation (NSF), the Office of Naval Research (ONR), Army Research Laboratory, Lockheed Martin, and Raytheon Company. See my CV for additional details.

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.

Current Ph.D. Students

Graduated Ph.D. Students