A picture of Hans-Dieter Hiep


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.

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

Highlighted articles


Apache Server at www.hansdieterhiep.nl Port 80