Hans-Dieter Hiep Postdoc Name Drs. H.A. Hiep Telephone +31 71 527 4799 E-mail h.a.hiep@liacs.leidenuniv.nl ORCID iD 0000-0001-9677-6644 News 20 April 2022 New research project makes the internet even better Postdoc Science Leiden Inst of Advanced Computer Science Work address Snellius Niels Bohrweg 1 2333 CA Leiden Contact +31 71 527 4799 h.a.hiep@liacs.leidenuniv.nl JavaScript is required to view this content. Boer F.S. de & Hiep H.A. (2021), Completeness and complexity of reasoning about call-by-value in Hoare logic, ACM Transactions on Programming Languages and Systems 43(4): 17. article in journal: refereed Stichting Tegen Hackbare Verkiezingen Secretaris