Everyone is welcome to attend the public defence of Hans Dieter Hiep, "New Foundations for Separation Logic".
Supervisors:
- Prof.dr. F.S. de Boer
- dr. C.P.T. de Gouw (OU)
- dr. A.W. Laarman
Everyone is welcome. Please come at least 15 minutes early: after the ceremony starts, visitors can no longer enter. Afterwards there is a reception on site. Printed books are also available on site (free of
charge, limited supply).
PDF: https://www.hansdieterhiep.nl/content/files/2024/04/hiep_phd_thesis.pdf
(est. 455 minutes read)