student.vu.nl.
or hdhcwi.nl.
or hans.dieter.hiepgmail.com.
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
hhp400student.vu.nl.
or hdhcwi.nl.
or hans.dieter.hiepgmail.com.
Please download the draft shortly before reading, to obtain the latest version.