Bio & Vita
Dr. Kevin Hamlen is an Associate Professor in the Computer Science Department at The University of Texas at Dallas. His research applies and extends compiler theory, functional and logic programming, and automated program analysis technologies toward the development of scientifically rigorous software security systems. Over the past five years his work has received over $5 million in federally funded research awards, including Career awards from both the National Science Foundation and the Air Force Office of Scientific Research. His most recent research on secure binary retrofitting and reactively adaptive malware received three best paper awards in 2011-2012, and has been featured in thousands of news stories worldwide, including The Economist and New Scientist. Dr. Hamlen received his Ph.D. and M.S. degrees from Cornell University, and his B.S. from Carnegie Mellon University, where his work on proof-carrying code garnered the Allen Newell Award for Excellence in Undergraduate Research.