Uwe Waldmann – Teaching

WS 2017/2018:

Lecture "Automated Reasoning".

SS 2016:

Lecture "Automated Reasoning II".

WS 2015/2016:

Lecture "Automated Reasoning".

SS 2014:

Lecture "Automated Reasoning II".

WS 2013/2014:

Lecture "Automated Reasoning".

WS 2011/2012:

Lecture "Automated Reasoning II".

SS 2011:

Lecture "Automated Reasoning".

SS 2010:

Seminar "Decision Procedures for Logical Theories" (with V. Sofronie-Stokkermans).

SS 2008:

Seminar "Decision Procedures for Logical Theories" (with V. Sofronie-Stokkermans).

WS 2007/2008:

Lecture "Unix for Advanced Users".

SS 2006:

Lecture "Automated Reasoning" (with C. Weidenbach).

WS 2005/2006:

Seminar "Decision Procedures for Logical Theories" (with V. Sofronie-Stokkermans).

SS 2004:

Lecture "Automated Reasoning" (with H. Ganzinger and V. Sofronie-Stokkermans).
Tutorial [Viorica Sofronie-Stokkermans].

SS 2003:

Lecture "Automated Deduction for Equational Logic".
Tutorial [Thomas Hillenbrand].

WS 2002/2003:

Tutorial for the lecture "Decision Procedures for Logical Theories" (H. Ganzinger).

SS 2002:

Tutorial for the lecture "Logic for Computer Science" (H. Ganzinger).

WS 2001/2002:

Seminar "Entscheidungsverfahren für logische Theorien" (with H. Ganzinger and T. Hillenbrand).

SS 2001:

Tutorial for the lecture "Programmiersprachen" (H. Ganzinger/A. Podelski).

WS 2000/2001:

Lecture "Einführung in die Informatik für Hörer aller Fakultäten II".
Tutorial [Werner Backes].

SS 1999:

Lecture "Praxis des Programmierens".

SS 1998:

Lecture "Unix für fortgeschrittene Benutzer".

Awards:

Best teaching award of the Computer Science Students Association for "Automated Reasoning II" (SS 2016).

Best teaching award of the Computer Science Students Association for "Automated Reasoning" (SS 2004).


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2015-10-06.