Cursussen

• 2011-2012
  • Functionele en Logische Programmeertalen

    Nieuwe keuzevak voor master wiskundige informatica en burgerlijk ingenieur computerwetenschappen.

    Je verdiept je in de functionele en logische programmeerparadigma's. Het is de bedoeling dat je

    1. je het praktisch gebruik van een functionele en een logische programmeertaal eigen maakt (Haskell & Prolog);
    2. de concepten, programmeertechnieken en datastructuren die gangbaar zijn in deze paradigma's beheerst; en
    3. inzicht verwerft in de onderliggende evaluatiemechanismen van deze talen.

    Lesmateriaal:

    • Haskell slides (1 ,2 ,3 ,4 ,5)

  • Programmeren/Programmeren I

    Kijk op de Minerva-pagina voor meer informatie.

• 2010-2011
  • Vakoverschrijdend project: Informatie over dit vak wordt hier onderhouden door collega Kris Coolsaet.
  • Software-Ontwikkeling (2): Gastlessen: Inleiding op Scala: 1/2, 2/2.

Masterproeven 2012-2013

Ik bied onderwerpen aan voor masterproeven wiskundige informatica en burgerlijk ingenieur computerwetenschappen. Ze sluiten nauw aan bij mijn lopend onderzoek in het domein van programmeertalen, en kunnen leiden tot een doctoraat.

Ben je geïnteresseerd en wil je meer weten? Heb je zelf een idee voor een onderwerp? Kom dan zeker langs voor een gesprek.

1. Codespecialisatie in Prolog
2. Een Domein-Specifieke Taal in Scala voor Collectible Card Games
3. Een Proof Checker voor het Semantic Web
4. Side effects in Haskell: modulariteit of performantie?
5. Zoekheuristieken opstellen met genetisch programmeren

Masterproeven 2003-2012

• Benoit Desouter, Modulaire zoekheuristieken in Scala, 2011-2012, Computerwetenschappen, UGent.
• Jens Raeymakers, Datalog 2.0, 2010-2011, K.U.Leuven.
• Timmy Weytjens, Een systematische test-case generator voor Haskell, 2008-2009, K.U.Leuven.
• Jan van den Boom, H2M: Haskell naar Mercury compiler, 2007-2009, K.U.Leuven.
• Tim Boven, Java 1.6 Prolog scripttaal extensie, 2007-2008, K.U.Leuven.
• Koen Plasmans, Dali: een standard data structure library voor Prolog, 2006-2007, K.U.Leuven.
• Pieter Wuille, CCHR: de snelste implementatie van CHR, 2006-2007, K.U.Leuven.
• Wouter Beckers, Een compiler voor Featherweight Java in CHR, 2006-2007, K.U.Leuven
• Dean Voets, Terminatie-analyse voor CHR-programma's, 2006-2007, K.U.Leuven.
• Wouter Coekaerts, Java-analyse in Prolog: bestaande code generisch maken, 2005-2007, K.U.Leuven
• Dieter Boesmans, HTML-layout in CLP, 2004-2005, K.U.Leuven
• Leslie De Koninck, Constraint Solvers voor SWI-Prolog, 2004-2005, K.U.Leuven
• Peter Van Weert, Constraint Programming in Java: een efficiënt CHR-systeem in Java, 2004-2005, K.U.Leuven
• Pieter Valcke, Constraint solvers voor hProlog, 2003-2004, K.U.Leuven