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