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) (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, 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)
Research Projects
- Verified Reowolf (funded by NGI ASSURE)
- Reowolf II (funded by NGI POINTER)
- Reowolf (funded by NGI ZERO)
Publications
See ORCiD.
Talks
- 2022
- 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 (slides)
- Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic, LIACS Theory Group, Leiden (slides)
- 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
- 2018
- Short Pitch: Formal Languages versus Formal Protocols Dutch National Symposium Software Engineering, Amsterdam
Professional Activities
- Education Committee Bachelor Computer Science, Leiden University (2022—)
- Artifact Evaluation Committee (TACAS 2021)
- Organising Committee (SEFM 2020)
- Website Taskforce (CONCUR 2019)
Professional Memberships
- VEReniging Software Engineering Nederland (VERSEN)
- ACademic Cyber Security Society (ACCSS)
- Association for Computing Machinery (ACM)
Employment
- November 2020 — present
- Teaching Ph.D. student, Leiden University, Leiden Institute for Advanced Computer Science (LIACS), Theory group
- November 2017 — October 2020
- Ph.D. student, Centrum Wiskunde & Informatica (Amsterdam), Formal Methods / Computer Security group
University Education
- November 2018 — present
- Doctor of Philosophy (PhD) degree in Computer Science, Leiden University, Factulty of Science, Leiden Institute for 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