A picture of Hans-Dieter Hiep

Homepage

His name is Hans-Dieter A. Hiep, 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, type theory and higher order logic, interactive theorem proving and distributed algorithms. Other interests are: process algebra, computer networks, programming languages, Java virtual machines, cluster and grid computing, operating systems and Web technologies.

His current research is in: developing methods for verifying correctness of component compositions by a type theoretical system that certifies operational behaviour.

He is currently involved as a contributor of HyperReuts and an intern at Centrum Wiskunde & Informatica, Formal Methods group.

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

Please download the draft shortly before reading, to obtain the latest version.

Highlighted articles

Projects


Apache Server at www.hansdieterhiep.nl Port 80