Programmacorrectheid (College 12/12, deel 1/3)
Channel: Hans-Dieter Hiep
Date: 27/04/2022

0:00 Inleiding

Onderdeel van de collegereeks: programmacorrectheid.

Frank de Boer is professor Software Correctness te Universiteit Leiden en senior researcher te Centrum Wiskunde & Informatica (CWI), het nationale onderzoeksinstituut voor wiskunde en informatica. De onderzoeksinteresses van Frank zijn semantiek en bewijstheorie van object-georienteerde programmeertalen met de mechanismen: objectcreatie, aliasing, recursieve methodes, multi-threading, inheritance en subtyping.

Hans-Dieter Hiep is promovendus, aangesteld bij Universiteit Leiden en CWI onder leiding van Frank de Boer. De onderzoeksinteresses van Hans-Dieter zijn hogere-orde logica en type theorie en de toepassing daarvan in de semantiek en bewijstheorie van object-georienteerde programmeertalen.