.

Ben Hardekopf

Ben Hardekopf

Associate Professor
​Computer Science

Affiliation: 
Computer Science

Contact

1109 Harold Frank Hall

University of California, Santa Barbara
Santa Barbara, CA 93106

Research

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

Education

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