Lehrveranstaltungen:
Vorlesungen im Wintersemester 2008/2009:
Algorithmische Geometrie
Theoretische Grundlagen 2 in mki-B2, Hochschule Reutlingen
Vorlesungen im Sommersemester 2008:
Algorithmen
Petrinetze
Vorlesung im Wintersemester 2007/2008:
Kryptologie & Komplexität
Hörsaal 2 Mo,Do 13 ct
Übungen zu Kryptologie & Komplexität
Im Sommersemester 2007 Lehrstuhlvertretung an der Universität Trier:
Kryptologie
,
Petrinetze
Vorlesung im WS06/07: Algorithmische Geometrie
[KVV]
,
Seminar im WS06/07: Formale Methoden in der Netzsicherheit
[KVV]
,
Vorlesung im SS06: Petrinetze
,
Seminar im SS06: Formale Methoden in der Netzsicherheit (2)
[KVV]
,
Vorlesung im WS05/06: Kryptologie und Komplexität
,
Seminar im WS05/06: Formale Methoden in der Netzsicherheit
Vorlesung im SS05: Datenkompression
Proseminar im SS05: Reguläre Sprachen
Vorlesung im WS04/05: Algorithmische Geometrie
Seminar im WS04/05: Erfüllbarkeit und Verifikation
Vorlesung im SS04: Petrinetze
Proseminar im SS04: Kryptologie
Vorlesung im WS03/04: Kryptologie & Komplexität
Vorlesung im SS02: Petrinetze
Übungen zu Informatik III im WS 01/02
Vorlesung im SS01: Kryptologie & Komplexität
Vorlesung im WS00/01: Algorithmische Geometrie
Vorlesung im WS99/00: Petrinetze
Vorlesung im SS99: Kryptologie & Komplexität
Proseminar im WS98/99: Petrinetze
Seminar im WS98/99: DNA Computing
Vorlesung im SS98: Kommunikationskomplexität
Vorlesung im WS97/98: Algorithmische Geometrie
Vorlesung im SS97: Kryptologie & Komplexität