Lectures (Theory)
Guided Master's Theses
- Reinout Stevens: Source Code Archeology using Logic Program Queries across Version Repositories (2010-2011) [PDF] [Absinthe for SOUL]
- Wouter Amerijckx: Language Support for Programming Interactions among Wireless Sensor Network Nodes (2010-2011) [PDF] [CrimeSPOT]
- Ruben Vandamme: Implementing Concurrency Abstractions for Programming Multi-Core Embedded Systems in Scheme (2009-2010) [PDF] [Bit Scheme for XMOS]
- Jens Nicolay: Automatic Parallelization of Scheme Programs using Static Analysis (2009-2010) [PDF] [Streme]
- Karlien Mollemans: Fuzzy Intensional Views (2006-2007)
- Kim Gybels: Een Declaratief Metaprogrammeer Platform voor Domein-specifieke Run-time Verificatie van
Imperatieve Programma's (2004-2005)
Third Bachelor Projects (Bachelor Theses)
Practical Sessions (Exercises)
- Interpretation of Computer Programs I (2006-2007, 2007-2008, 2009-2010, 2010-2011, 2011-2012)
- First Bachelor Project Embedded System - Virtual Pet (2007-2008), Embedded System - Rhythm Game (2009-2010), Game of Projectiles (2011-2012)
- Second Bachelor Project (2006-2007)
- Special Practical Session on High-Level Programming Concepts in Pico (2005-2006, 2007-2008)
- Programming Principles for Mathematicians (2004-2005, 2005-2006, 2006-2007)
- Innovation in Computer Science Education (2004-2005, 2005-2006, 2006-2007)