My name is Hans-Dieter Hiep. I am a master student Computer Science at the Vrije Universiteit Amsterdam, specializing in Foundations of Computing and Concurrency (FCC). In 2016 I finished a Bachelor program in Computer Science, also at the Vrije Universiteit Amsterdam, cum laude.

My main interests are: formal methods, type theory, proof systems, model checking, computer networks and distributed algorithms. Other interests are: programming languages, Java virtual machines, cluster computing, operating systems and Web technologies.

I am currently involved as a contributor of HyperReuts.

You can contact me at hhp400student.vu.nl. or hans.dieter.hiepgmail.com.