A picture of Hans-Dieter Hiep


Hans-Dieter A. Hiep is a Ph.D. student at Leiden University, Leiden Institute of Advanced Computer Science (LIACS), and Centrum Wiskunde & Informatica (CWI), Computer Security group, specializing in Formal Methods. 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 (FCC). In 2016, he finished a Bachelor program in Computer Science, cum laude, also at the Vrije Universiteit.

You can contact him at hdh at cwi.nl. or hans.dieter.hiep at gmail.com.

His main interests are: formal methods, higher order logic and type theory, program correctness, interactive and automated theorem proving, mathematical logic, distributed and concurrent algorithms. Other interests are: formal languages and automata, programming languages, Java and Java virtual machines, cluster and grid computing, operating systems, interactive systems, computer networking, Web technologies.

See this ORCiD page for a list of publications.

Essays and short notes

Inclusivity, diversity, equality and equity (2022)
An Exercise in Ethics & Scientific Integrity (2019)
A Philosophy of Computing for Development (2018)


Motto: if you have nothing, you have nothing to lose.

A selection of music by Bach
Miserere (Gregorio Allegri)
A Liberal Decalogue (Russell, 1951)


Reached est. 1.2 million people on StackOverflow (2010)
7-year old me with a computer (1998)