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. See curriculum vitae.

Blog Articles

DaViz and DaProof: Distributed Algorithms (2017)
On Games and Simulations (2017)

News Articles

New research project makes the internet even better (2022)
CWI works on Next Generation Internet (2020)
Grant for CWI to improve Next Generation Internet (2019)


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)