Teaching

Courses I have taught at Utrecht University (1998-2005) and at Delft University of Technology (since 2006).

Courses at Delft University of Technology

2018-2019

2017-2018

2016-2017

2015-2016

  • Software Security (Q2; Master Computer Science)
  • Concepts of Programming Languages (Q3; Bachelor Computer Science)
  • Language Engineering Project (Q4; Master Computer Science)

2014-2015

2013-2014

  • Seminar Meta-Programming (Quarter1; Master Computer Science)
  • Concepts of Programming Languages (Semester 2; Bachelor Computer Science)
  • Model-Driven Software Development (Semester 2; Master Computer Science)

2012-2013

  • Seminar Meta-Programming (Quarter1; Master Computer Science)
  • Concepts of Programming Languages (Semester 2; Bachelor Computer Science)
  • Model-Driven Software Development (Semester 2; Master Computer Science)

2011-2012

  • Seminar Meta-Programming (Quarter1; Master Computer Science)
  • Concepts of Programming Languages (Semester 2; Bachelor Computer Science)
  • Model-Driven Software Development (Semester 2; Master Computer Science)

2010-2011

  • Seminar Meta-Programming (Quarter1; Master Computer Science)
  • Compiler Construction (Semester 1; Master Computer Science; with Guido Wachsmuth)
  • Concepts of Programming Languages (Semester 2; Bachelor Computer Science)
  • Model-Driven Software Development (Semester 2; Master Computer Science)

2009-2010

  • Seminar Meta-Programming (Quarter1; Master Computer Science)
  • Principles of Programming Languages (Quarter 2; Minor Computer Science)
  • Model-Driven Software Development (Quarter 3+4; Master Computer Science)

2008 - 2009

  • Principles of Programming Languages (Quarter 2; Minor Computer Science)
  • Model-Driven Software Development (Quarter 3+4; Master Computer Science)

2007 - 2008

  • Principles of Programming Languages (Quarter 2; Minor Computer Science)
  • Program Transformation and Generation (Quarter 3+4; Master Computer Science)

Courses at Utrecht University

2005 - 2006

2004 - 2005

2003 - 2004

2002 - 2003

2001 - 2002

2000 - 2001

  • High-Performance Compilers (Period 1)
  • Object-Oriented Modeling and Programming (Period 1)
  • Software Engineering (Period 2)
  • Academic Writing for Graduate Students (December 2000 - March 2001)
  • Software Generation (Period 5)

1999 - 2000

  • Implementation of Programming Languages (Period 1)
  • Software Engineering (Fall)
  • Program Optimization Seminar (Period 3)
  • Software Engineering (Spring)
  • Software Generation (Period 5)

1998 - 1999

  • Object-Oriented Modeling and Programming (practicum)
  • Software Engineering (Spring)