Teaching

The PPLV group at UCL organizes a one year MSc programme. This Master’s programme is unique in the UK and one of the few in Europe bringing together deep theoretical subjects and practical program and systems verification. You can find more details about the programme on the website.

I have several projects for bachelor and master level, mostly in formal languages, logic, and functional programming. If you are interested in doing your bachelor/master thesis with me, send me an email and we can discuss concrete projects.

Fall 2014

• Algorithms and Data Structures (Radboud Nijmegen University, with Sjaak Smetsers),
• Coalgebra (Radboud Nijmegen University, with Sam Staton),
• MFoCS research seminar (Radboud Nijmegen University, with Wieb Bosma, Herman Geuvers, Bas Terwijn & Freek Wiedijk),
• Talen en Automaten (Radboud Nijmegen University)
• Wat is Informatica? (Radboud Nijmegen University).

Spring 2014

• Complexity (Radboud Nijmegen University).

Fall 2013

• MFoCS research seminar (Radboud Nijmegen University, with Wieb Bosma, Herman Geuvers, Bas Terwijn & Freek Wiedijk),
• Talen en Automaten (Radboud Nijmegen University),
• Wat is Informatica? (Radboud Nijmegen University)

Spring 2013

• Complexity (Radboud Nijmegen University).
• Matrix Rekenen (Linear algebra) (Radboud Nijmegen University, lecturer: Bart Jacobs)

Fall 2012

• MFoCS research seminar (Radboud Nijmegen University, with Wieb Bosma, Herman Geuvers, Bas Terwijn & Freek Wiedijk),
• Coalgebra (Radboud Nijmegen University, with Jan Rutten and Helle Hansen),
• Talen en Automaten (Radboud Nijmegen University).

Spring 2012

• Complexity (Radboud Nijmegen University, with Henk Barendregt),
• Wiskunde 1 (Linear algebra) (Radboud Nijmegen University, lecturer: Bart Jacobs).

Spring 2008 and Spring 2009

• Program Correctness (Leiden University, with Marcello Bonsangue).

2005/2006

• Algorithms & Complexity (University of Minho, in PT, tutorials).

2004/2005

• Computer Architecture (University of Minho, in PT, tutorials),
• Programming in C (University of Minho, in PT, tutorials).