Dirk Pattinson: Teaching

I participated in teaching the following courses:

• Temporale Logik (Temporal Logic), winter term 2003/2004.
• An Introduction to the Theory of Coalgebras, Course at the NASSLLI Summer School, summer 2003.

• Informatik II (Object Oriented Programming), summer term 2003

• Informatik I (Functional Programming), winter term 2002/2003

• Systeme und Anwendungen (Systems and Applications), summer term 2002.

• An Introduction to Category Theory and Logic, seminar at the Department of Computer Science, Monash University, Australia.

• Programmierung und Software Entwicklung (Programming and Software Developement), winter term 2001/2002

• Informatik IV (Introduction to Theoretical Computer Science), summer term 2001

• Informatik II (Object Oriented Programming), summer term 2000

• Informatik I (Functional Programming), winter term 1999/2000

• Process Algebra, summer term 1999

• Categorical Logic and Semantics, seminar, winter term 1998/1999