Hans-Dieter A. Hiep is a Ph.D. student at Centrum Wiskunde & Informatica, Formal Methods group. 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.
His main interests are: formal methods, higher order logic and type theory, 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.
He is involved as a contributor of HyperReuts. Since september 2018, he is appointed secretary of Verenigd Universiteit koor and secretary of Stichting Koepel VU-muziekgezelschappen. See a picture of a concert.
You can contact him at hdhcwi.nl. or hans.dieter.hiepgmail.com.
Click here to see true Enlightenment (est. 12.5MB).
Gregorio Allegri: Miserere, Choir of Claire College, Cambridge, with transcription and translation.