Kevin Hamlen


I teach Ph.D., Masters, and undergraduate courses in the Computer Science Department at the University of Texas at Dallas, where I have been a faculty member since 2006.

Most of my courses emphasize formal, mathematical approaches to program analysis, computer security, and computer science in general. My goal is to arm the next generation of computer scientists with the skills necessary to design and assess mission-critical software systems, and to cultivate a science of computer security that offers rigorous, mathematically provable guarantees to users rather than mere ad hoc defenses. I frequently try to integrate current research into my course curricula in an effort to introduce students to cutting-edge, state-of-the-art advances in the field.


In 2013 I received the Erik Jonsson School of Engineering and Computer Science Outstanding Teaching Award. In general, my teaching style has a reputation among UTD students for combining high challenge (median 9/10 difficulty rating) with high interest and value (median 4.75/5.00 overall student satisfaction).

Since joining UTD I have instructed the following courses: