Ben Hardekopf

Ben Hardekopf

​Vice Chair, Department of Computer Science

Computer Science


1109 Harold Frank Hall

University of California, Santa Barbara
Santa Barbara, CA 93106


Programming Languages and Software Engineering

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


PhD University of Texas at Austin
MS Computer Science, SUNY Utica/Rome
BS Electrical Engineering and Computer Science, Duke University