His name is Hans-Dieter 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, interactive proof systems, model checking and distributed algorithms. Other interests are: computer networks, programming languages, Java virtual machines, cluster computing, operating systems and Web technologies.

His current research is in: developing tools and methods for verifying the correctness of components in distributed algorithms by developing a type theoretical system that certifies operational behaviour.

He is currently involved as a contributor of HyperReuts, an intern at Centrum Wiskunde & Informatica, group Formal Methods and participates in Make Media Great Again project.

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

His motto, since 2010: “Maar logisch is ook niet logisch, immers is niet-logisch toch logisch.”