A picture of Hans-Dieter Hiep


Hans-Dieter A. Hiep is a a PhD student at Centrum Wiskunde & Informatica, Formal Methods group. He was a master student Computer Science at the Vrije Universiteit in Amsterdam, 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 in Amsterdam.

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

He is currently involved as a contributor of HyperReuts.

Since september 2018, he is appointed secretary of Verenigd Universiteit koor and secretary of Stichting Koepel VU-muziekgezelschappen.

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

Current drafts

Highlighted articles


Apache Server at hansdieterhiep.nl Port 80