Vakken
-
Besturingssystemen (2006-2010). K.U.Leuven afdeling
Kortrijk. Studenten kunnen terecht op de Toledo-pagina voor meer informatie.
-
Vergelijkende studie van imperatieve programmeertalen (2008-2009). Plaatsvervangend
docent (30%).
-
Methodologiën voor de Ontwikkeling van Programmatuur (2005-2006). Projectcoördinator.
Plaatsvervangend docent (60%).
Thesissen
- Timmy Weytjens,
Een systematische test-case generator voor Haskell,
2008-2009.
- Jan van den Boom,
H2M: Haskell naar Mercury compiler,
2007-2009.
- Tim Boven,
Java 1.6 Prolog scripttaal extensie,
2007-2008.
- Koen Plasmans,
Dali: een standard data structure library voor Prolog,
2006-2007.
- Pieter Wuille,
CCHR: de snelste implementatie van CHR,
2006-2007.
- Wouter Beckers,
Een compiler voor Featherweight Java in CHR,
2006-2007
- Dean Voets,
Terminatie-analyse voor CHR-programma's,
2006-2007.
-
Wouter Coekaerts,
Java-analyse in Prolog: bestaande code generisch maken,
2005-2007
-
Dieter Boesmans,
HTML-layout in CLP,
2004-2005
-
Leslie De Koninck,
Constraint Solvers voor SWI-Prolog,
2004-2005
-
Peter Van Weert,
Constraint Programming in Java: een efficiënt CHR-systeem in Java,
2004-2005
-
Pieter Valcke,
Constraint solvers voor hProlog,
2003-2004
