Projecten
Het leren van- en efficient redeneren met hybriede beperkingen KU Leuven
Modulaire controle- en dataflow-effecten. KU Leuven
Programmeertalen hebben de wijdverbreide adoptie van software in de huidige samenleving mogelijk gemaakt. Toch wordt het steeds duidelijker dat de huidige praktijk van softwareontwikkeling het groeitempo waar de samenleving om vraagt niet langer kan volhouden. De verborgen controle- en dataflow-effecten in software zijn verantwoordelijk voor deze dreigende crisis: ze verhinderen dat de best practice van modulaire softwareontwikkeling aan de ...
Probabiliteit, logica en leren. KU Leuven
Analyse en transformatie van programma’s. KU Leuven
Het werk situeert zich in formele methodes en automatische technieken voor de analyse en de transformatie van programma’s, specifiek in de context van het Logisch Programmeren.
Formele theorieën voor het analyseren van programma’s werden ontwikkeld, dit vooral in de context van Terminatie en non-Terminatie van programma’s. Hierbij werden tal van resultaten bereikt die bestaande grenzen rond het onbeslisbare “Halting” probleem, hebben ...