Teaching (at ETH Zurich)

Spring 2012

• 252-0268-00L Concepts of Concurrent Computation (MSc Course)

Fall 2011

• 251-0239-00L Software Verification (MSc Course)

Spring 2011

• 252-0268-00L Concepts of Concurrent Computation (MSc Course)

Fall 2010

• 251-0239-00L Software Verification (MSc Course)

Spring 2010

• 252-0268-00L Concepts of Concurrent Computation (MSc Course)
• 252-2600-05L Software Engineering Seminar (MSc Course)

Fall 2009

• 251-0291-00L Eiffel: Analysis, Design and Programming (MSc Course)
• 251-0239-00L Software Verification (MSc Course)

Spring 2009

• 251-0268-00L Concurrent Object-Oriented Programming (MSc Course)

Teaching (at DTU)

Spring 2009

• 02244 Language Based Security (MSc Course)

Fall 2008

• 02242 Program Analysis (MSc Course)
• 02246 Process Modelling and Validation (MSc Course)

Spring 2008

• 02141 Computer Science Modelling (BSc Course)

Fall 2007

• 02242 Program Analysis (MSc Course)

Spring 2007

• 02141 Computer Science Modelling (BSc Course)