Homepage

Hans-Dieter A. Hiep is a a PhD student at Centrum Wiskunde & Informatica, Formal Methods group. He was 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, higher order logic, type theory, interactive and automated theorem proving, distributed algorithms. Other interests are: concurrency, process algebra, formal languages and automata, programming languages, Java virtual machines, cluster and grid computing, operating systems, interactive systems, computer networking, Web technologies.

He is currently involved as a contributor of HyperReuts.

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.

Current drafts

• A Logical Formalism for Coordination Protocols, Hans-Dieter Hiep, Benjamin Lion (9-11-2018)

Highlighted articles

• On Games and Simulations, blog post (24-2-2017)

Projects

• A Reo Semantics for Reasoning about Speculative Execution, Master thesis (30-10-2018), slides (25-9-2018), slides (13-11-2018)
• ICT for Development, portfolio (1-6-2018)
• Literature Study (7-8-2018, old version); slides (21-3-2018), slides (15-6-2018)
• DaViz and DaProof: Distributed Algorithms Visualizer, Individual project (3-5-2017, 22-7-2017)
• Alternative Connectives for Classical Propositional Logic, Bachelor project (6-2016); slides (29-6-2016)

• 2016/
• 2017/
• 2018/