| 2017-2018 | CS4010 Algorithms for Planning and Scheduling (Fall) |
| TI2316 Automata, Languages and Computability (Spring) |
| |
| 2016-2017 | CS4010 Algorithms for Planning and Scheduling (Fall) |
| IN4337 Randomized Algorithms (Spring) |
| TI2316 Automaten, Talen en Berekenbaarheid (Spring) |
| |
| 2015-2016 | CS4010 Algorithms for Planning and Scheduling (Fall) |
| IN4337 Randomized Algorithms (Spring) |
| TI2316 Automaten, Talen en Berekenbaarheid (Spring) |
| |
| 2014-2015 | IN4336 Combinatorial Solvers (Fall) |
| IN4337 Randomized Algorithms (Spring) |
| TI2316 Automaten, Talen en Berekenbaarheid (Spring) |
| |
| 2013-2014 | IN4397 Combinatorial Solvers (Fall) |
| IN4081 Randomized Algorithms (Spring) |
| TI2315 Automaten, Talen en Berekenbaarheid (Spring) |
| |
| 2012-2013 | IN4081 Randomized Algorithms (Spring) |
| IN4077 Computational Logic and Satisfiability (Spring) |
