In 2024, Hans-Dieter A. Hiep finished a Ph.D. program in Computer Science at Leiden University, Leiden Institute of Advanced Computer Science (LIACS) and Centrum Wiskunde & Informatica (CWI), cum laude. In 2018, he finished a Master program in Computer Science joint-degree at the Vrije Universiteit and Universiteit van Amsterdam (VU/UvA), cum laude, specializing in foundations of computing and concurrency. In 2016, he finished a Bachelor program in Computer Science, cum laude, also at the Vrije Universiteit.

His main academic interests are: formal methods and mathematical logic, higher-order logic and type theory, separation logic, program correctness (Hoare’s logic and Reynolds’ logic), and interactive and automated theorem proving. Other interests are: programming languages, cluster and grid computing, operating systems, computer networking, Java and Java virtual machines, reverse engineering, cyber security, distributed and concurrent algorithms, formal languages and automata, Web technologies, graphical user interfaces, and—in general—anything related to computer hacking.