Home
Contact
People
Publications
Research
Teaching
Projects (current)
    LearnSDM
    FlexI
    DCSMART
    BalanCity
    GCP
Projects (past)
    Smoover
    PURe-MaS
    MAIS-S
    DecPUCS
    URUS
Resources
    Software
    Dec-POMDP
    POMDPs
Activities
    Workshops
    Tutorials
    Events

Teaching

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