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 systems and logic, proof systems and model checking, computer networks and distributed algorithms. Other interests are: programming languages and type theory, Java virtual machine implementations, cluster computing, operating systems and Web technologies.
I am currently involved as a contributor of HyperReuts, a small independent game development company near Amsterdam.