Teaching - Earlier Terms

Automated Reasoning SS 2010
Decision Procedures for Logical Theories SS 2010
Perspektiven der Informatik SS 2010  
Perspektiven der Informatik WS 2009/2010  
Programming Challenges SS 2009
Selected Topics in Automated Reasoning SS 2009
Advanced C Programming WS 2008/2009
Ringvorlesung: Perspektiven der Informatik WS2008/2009 
Automated Reasoning SS 2008
Decision Procedures for Logical Theories SS 2008
Decision Procedures based on SAT (Propositional Satisfiability) WS 2007/2008
Unix for advanced users WS 2007/2008
Automated Reasoning SS 2006
Decision Procedures for Logical Theories WS 2005/2006
LAN Design in Practice SS 2005
LAN Design in Practice SS 2004
Automated Reasoning 2004
LAN Design in Practice SS 2003
Automated Deduction for Equational Logic SS 2003
IT Projektmanagement SS 2002
Seminar "Entscheidungsverfahren für logische Theorien WS 2001/02
IT Projektmanagement SS 2001
Einführung in die Informatik für Hörer aller Fakultäten II WS 2000/01
Implementierung von Software WS 1999/2000
Praxis des Programmierens SS 2000
Automated Reasoning WS 1998/99
Rechnergestütztes Beweisen SS 1998
Unix für fortgeschrittene Benutzer SS 1998
Praxis des Programmierens WS 1997/98