Uwe Waldmann - Teaching

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" (SS 2004).

---

Previous | Up | Next

---

Uwe Waldmann <uwe@mpi-sb.mpg.de>, 2004-10-25.