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