About
Hans-Dieter A. Hiep is a Ph.D. student at Leiden University, Leiden Institute of Advanced Computer Science (LIACS), and Centrum Wiskunde & Informatica (CWI), Computer Security group, specializing in Formal Methods. In 2018, he finished a Master program in Computer Science joint-degree at the Vrije Universiteit and Universiteit van Amsterdam (VU/UvA), cum laude, 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.
His main interests are: formal methods, higher order logic and type theory, program correctness, interactive and automated theorem proving, mathematical logic, and distributed and concurrent algorithms. Other interests are: formal languages and automata, programming languages, Java and Java virtual machines, cluster and grid computing, operating systems, interactive systems, computer networking, and Web technologies.
Curriculum Vitae
Hans-Dieter Anton Hiep
(Born: 21 March 1991, Hoorn, North-Holland, the Netherlands)
Teaching Activities
- (Lecturer) Concepts of Programming Languages, Leiden University, 2021, 2022 (see on-line lectures)
- (Lecturer) Program Correctness, Leiden University, 2020, 2021, 2022 (see on-line lectures)
- (Student project supervision) Interactive Theorem Prover Project, LUdev, Leiden University, 2021
- (Student project supervision) Distributed Algorithms Visualization Tool, Individual Systems Project, Vrije Universiteit Amsterdam, 2020
- (Teaching assistant) Program Correctness, Leiden University, 2019
- (Student assistant) Concurrency & multithreading, Vrije Universiteit Amsterdam, 2017, 2018
- (Student assistant) Equational programming, Vrije Universiteit Amsterdam, 2017
- (Student assistant) Logic & sets, Vrije Universiteit Amsterdam, 2013
- (Student assistant) Logic & modelling, Vrije Universiteit Amsterdam, 2013
Student Supervision
Master students
- (Collaborator) Olaf Maathuis, Verifying OpenJDK's LinkedList using KeY, 2020
Bachelor students
- (Daily supervisor) Daniel Roos, Visualisation of Distributed Algorithms Executions: Improving the DaViz Tool, 2022
See list of student works.
Research Projects
- (Principal Investigator) Verified Reowolf, funded by NGI ASSURE
- (Principal Investigator) Reowolf II, funded by NGI POINTER
- (Principal Investigator) Reowolf, funded by NGI ZERO
Publications
See this ORCiD page for a list of publications.
Talks / Conferences / Workshops
2022
- A Theory of Substitutions for Separation Logic, New challenges in programming language semantics, Lorentz Center, Leiden
- Footprint Logic for Object-Oriented Components, 18th International Conference on Formal Aspects of Component Software, virtual
- TMP: Time Modulation Protocol, HotRFC Lightning Talks at IETF-115, London (slides)
- Logic in Computer Science: A Short Introduction to Program Correctness, Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) and Dutch Research School of Philosophy (OZWS), Utrecht
- Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic, LIACS Theory Group, Leiden
2021
- Reasoning about call-by-value recursive procedures in Hoare logic, Amsterdam Coordination Group (ACG), Amsterdam
- Reasoning about ADTs in KeY, The KeYnote Series, virtual
- History-based Specification and Verification of Java Collections in KeY (extended talk) University of Twente, Formal Methods and Tools Group, virtual
2020
- History-based Specification and Verification of Java Collections in KeY (invited presentation), Formal Techniques for Java-like Programs (FTfJP), European Conference on Object-Oriented Programming (ECOOP), virtual
- History-based Specification and Verification of Java Collections in KeY, 16th International Conference on integrated Formal Methods (iFM), virtual (back-up video)
- History-based Specification and Verification of Java Collections in KeY, Amsterdam Coordination Group (ACG), Amsterdam
2019
- Verifying OpenJDK's LinkedList using KeY KeY Symposium 2019, Manigod (France)
- Axiomatic Characterization of Trace Reachability for Concurrent Objects, 15th International Conference on integrated Formal Methods (iFM), Bergen (Norway)
- Verifying OpenJDK's LinkedList using KeY IPA Fall Days, Wageningen Verifying OpenJDK's LinkedList using KeY University of Twente, Formal Methods and Tools Group, Enschede
- Attended to Lean Together 2019, Amsterdam
2018
- Short Pitch: Formal Languages versus Formal Protocols Dutch National Symposium Software Engineering, Amsterdam
- Yet Another Reo Semantics: Reasoning about Speculative Execution, Amsterdam Coordination Group (ACG), Amsterdam
- Partially Commutative Monoids and Computational Content of Classical Logic, Amsterdam Coordination Group (ACG), Amsterdam
- Participated in 1st International HacKeYthon 2018, Karlsruhe
2017
- Attended to 9th International School on Rewriting (ISR2017), Eindhoven
Professional Committees / Activities
- Education Committee Bachelor Computer Science, Leiden University (2022—)
- Artifact Evaluation Committee (POPL 2023)
- Artifact Evaluation Committee (TACAS 2021)
- Organizing Committee (SEFM 2020)
- Website Taskforce (CONCUR 2019)
Professional Memberships
Employment / Professional Experience
November 2020 — present
Teaching Ph.D. student, Leiden University (Leiden), Leiden Institute of Advanced Computer Science (LIACS), Theory group
November 2018 — October 2020
Ph.D. student, Centrum Wiskunde & Informatica (Amsterdam), Computer Security group
November 2017 — October 2018
Internship, Centrum Wiskunde & Informatica (Amsterdam), Formal Methods group
2017
Internship, Stichting BEMA (Amsterdam)
IT consultant, Custommate B.V. (Werkendam)
2016—2017
Programmer, Inktweb B.V. (Alkmaar)
2016
IT consultant, Total Medical Solutions B.V. (Dordrecht)
2015—2018
IT recruiter, Gong Reflections B.V. (Amsterdam)
Collaborator, HyperReuts (Amstelveen)
2014
Programmer, Social Shop B.V. (Amsterdam)
2013—2015
Co-founder, AEXIZ (Hilversum)
2013
Collaborator, WEEVR (Amsterdam)
2012
Programmer, Social Shop B.V. (Amsterdam)
2010
Programmer, Cillix B.V. (Leiden)
2009—2010
Co-founder, JPH Media (Hoorn)
2008—2009
Programmer, Admicom (Hoorn)
Education
November 2018 — present
Doctor of Philosophy (PhD) degree in Computer Science, Leiden University, Factulty of Science, Leiden Institute of Advanced Computer Science (LIACS)
On-going
September 2016 — October 2018
Joint UvA-VU Master of Science (MSc) degree in Computer Science, University of Amsterdam (UvA) and Vrije Universiteit Amsterdam (VU), Faculty of Science, Department of Computer Science
Track: Foundations of Computing and Concurrency
Thesis: A Reo Semantics for Reasoning about Speculative Execution
Thesis supervisors: dr. Jasmin Blanchette, prof.dr. Farhad Arbab
Graduated: cum laude
September 2012 — August 2016
Bachelor of Science (BSc) degree in Computer Science, Vrije Universiteit Amsterdam (VU), Faculty of Science, Department of Computer Science
Minor: Deep Programming
Thesis: Alternative Connectives for Classical Propositional Logic
Thesis supervisors: dr. Femke van Raamsdonk, dr. Clemens Grabmayer
Graduated: cum laude
September 2011 — August 2012
Bachelor Econometrics and Operations Research, University of Amsterdam (UvA), Faculty of Economics and Business, Amsterdam School of Economics
Not graduated
September 2010 — August 2011
Double bachelor Computer Science & Mathematics, Leiden University, Factulty of Science, Leiden Institute for Advanced Computer Science (LIACS)
Not graduated
2003—2010
Voorbereidend wetenschappelijk onderwijs, Rooms Katholieke Scholengemeenschap Tabor (Hoorn), Werenfridus