Personal photo

Ben Hardekopf

Associate Professor
Office: 
1109 Harold Frank Hall
Email: 
benh@cs.ucsb.edu
Website: 
http://www.cs.ucsb.edu/~benh

Education

  • Ph.D., University of Texas at Austin, 2009
  • M.S., Computer Science, SUNY at Utica/Rome, 2001
  • B.S., Electrical Engineering and Computer Science, Duke University, 1997

Bio

Ben Hardekopf is an Associate Professor of Computer Science at the University of California, Santa Barbara, where he leads the Programming Languages Research Laboratory.

Research

Professor Hardekopf's main research area is Programming Languages, investigating programming language design, analysis, and implementation. His main focus in this area is using program analysis and abstract interpretation to verify interesting properties of software, such as correctness and security. He also investigates applying programming language techniques to other areas of Computer Science, such as Computer Architecture and verifying properties of hardware designs.

Honors and Awards

  • NSF CAREER Award, 2014
  • Northrop Grumman Excellence in Teaching Award, 2013
  • Best Paper Award, ACM Conference on Virtual Execution Environments (VEE), 2014
  • Best Paper Award, Symposium on Code Generation and Optimization (CGO), 2011
  • Best Paper Award and Best Presentation Award, ACM Conference on Programming Language Design and Implementation (PLDI), 2007