Kevin Hamlen

Kevin W. Hamlen



portrait

Photo credit: C&K Cinematography

I am currently an Associate Professor 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 interests 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 malware defense and cloud computing security. My research is currently supported by grants from the U.S. Air Force Office of Scientific Research (AFOSR) and the National Science Foundation (NSF). 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.

Recent TV News Coverage of My Research

CW33 Nightcap News (April 15, 2014)

Full Story at CW33 NightcapTV

CBS 11 News (April 14, 2014)

Current Ph.D. Students

Graduated Ph.D. Students

Courses