|
|
|||
|---|---|---|---|
|
Teaching :
|
|||
| SS 10 | : | lecturer of the lecture "Model Checking II" | Technische Universität
Dresden
|
| teaching assistent for the seminar "Symbolic and Compositional Verification" | |||
| WS 09/10 | : | teaching assistent for the lecture "Model
Checking"
|
Technische Universität
Dresden
|
| teaching assistent for the seminar "Selected
topics in Logic
and
Complexity"
|
|||
| WS 07/08 | : | teaching assistent for the lecture "Model Checking" | Technische Universität Dresden |
| WS 06/07 | : |
teaching assistent for the lecture "Model Checking" | Technische Universität Dresden |
| SS 06 | : | teaching assistent for the seminar "Model Checking" | Universität Bonn |
| WS 05/06 | : | teaching assistent for the lecture "Model Checking" | Universität Bonn |
| SS 05 | : | teaching assistent for the seminar "Model Checking" | Universität Bonn |
| WS 04/05 | : | teaching assistent for the lecture "Model Checking" | Universität Bonn |
| SS 04 | : | teaching assistent for the lecture "Informatik VI" | Universität Bonn |
| WS 03/04 | : | teaching assistent for the seminar "Model Checking" | Universität Bonn |
| SS 03 | : | teaching assistent for the lecture "Verifikation paralleler Systeme" | Universität Bonn |
| teaching assistent for the seminar "Maschinelles Beweisen" | |||
| WS 02/03 | : | teaching assistent for the lecture "Maschinelles Beweisen" | Universität Bonn |
| teaching assistent for the seminar "Binäre Entscheidungsgraphen" | |||
| SS 02 | : | teaching assistent for the lecture "Binäre Entscheidungsgraphen" | Universität Bonn |
| teaching assistent for the seminar "Model Checking" | |||
| WS 01/02 | : | teaching assistent for the lecture "Model Checking" | Universität Bonn |
| SS 01 | : | teaching assistent for the lecture "Informatik IV" | Universität Bonn |
| WS 00/01 | : | teaching assistent for the lecture "Praktische Mathematik I" | Universität Bonn |
| SS 00 | : | teaching assistent for the lecture "Praktische Mathematik II" | Universität Bonn |
| Winter Quarter 99/00 | : | teaching assistent for the lecture "MATH 152" | Ohio State University |
| Autumn Quarter 99 | : | teaching assistent for the lecture "MATH 151" | Ohio State University |
| SS 98 | : | teaching assistent for the lecture "Infinitesimalrechnung II" | Universität Bonn |
| WS 97/98 | : | teaching assistent for the lecture "Infinitesimalrechnung I" | Universität Bonn |
|
|
|||