Skip to content

Previous Profile: Haas, Zygmunt

Next Profile: Hao, Shuang

Hamlen, Kevin

Dr. Kevin Hamlen

Associate Professor

Degrees:

  • Ph.D., Computer Science, Cornell University, 2006
  • M.S., Computer Science, Cornell University, 2002
  • B.S., Computer Science and Mathematical Sciences, Carnegie Mellon University, 1998

Research Interests:

  • Language-based security
  • In-lined reference monitors
  • Type-safe intermediate languages
  • Abstract interpretation
  • Model-checking
  • Proof-carrying code
  • Certifying compilers

Major Honors and Awards:

  • NYU-Poly CSAW Best Applied Security Paper of the Year Award, 2nd place, 2014

  • Metroplex Technology Business Council Tech Titan Technology Inventor, Finalist (final four), 2013

  • Outstanding Teaching Award, Erik Jonsson School of Engineering and Computer Science, The
    University of Texas at Dallas, 2013

  • Best Student Paper Award, Annual Computer Security Applications Conference (ACSAC), 2012

  • NYU-Poly AT&T Best Applied Security Paper of the Year Award, 2nd place, 2012

  • Faculty Research Award, Erik Jonsson School of Engineering and Computer Science, The
    University of Texas at Dallas, 2012

  • Best Paper Award, IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Special Session on Stream Data Mining, 2011

  • CAREER Award, National Science Foundation, 2011

  • Young Investigator Program (YIP) Award, U.S. Air Force Office of Scientific Research, 2008

  • Ph.D. Fellowship Award, Intel Foundation, 2004

  • Allen Newell Award for Excellence in Undergraduate Research, Carnegie Mellon University,
    1998

  • Phi Kappa Phi Honor Society, Carnegie Mellon University, 1998

  • Phi Beta Kappa Honor Society, Carnegie Mellon University, 1998

  • Graduated summa cum laude (3rd in class), Carnegie Mellon University, 1998

Representative Publications:

Previous Profile: Haas, Zygmunt

Next Profile: Hao, Shuang