Lehrveranstaltungen:
Im Wintersemester 2013/14, Sommersemester 2014 und Wintersemester 2014/15 an der HU Berlin
Vorlesung im Wintersemester 2013/14:Kryptologie,Kryptologie,
Vorlesung im Sommersemester 2013: Algorithmische Geometrie
Vorlesung im Wintersemester 2012/2013:
Codierung und Verschlüsselung
in Weimar: Diskrete Strukturen Ab Mo 8.Okt 9:15 und Di 9. Okt. 11:00 alle 3 Wochen Karl-Haussknechtstr. 7
Vorlesung im Sommersemester 2012:
Petrinetze
Vorlesung im Wintersemester 2011/2012:
Kryptologie (Als Kompaktkurs)
Im Sommersemester 2011 und im Wintersemester 2011/2012 Lehrstuhlvertretung an der Universität Jena
Lehrveranstaltungen im Sommersemester 2011: Komplexitätstheorie, Logiksysteme
Lehrveranstaltungen im Wintersemester 2011/2012: Parametrisierte Algorithmik, Petrinetze, Seminar Algorithmische Spieltheorie
Vorlesungen im Wintersemester 2010/11:
Codierung und Verschlüsselung Do 16:15-18:00, Hörsall 2 Sand 6/7,
Beginn: 21.10.10.
Mathematische Verfahren in mki-M2, Hochschule Reutlingen Fr 13:00-16:15
Vorlesungen im Sommersemester 2010:
Petrinetze Do 16:00-18:00, Raum C118
Mathematische Verfahren in mki-M2, Hochschule Reutlingen Fr 13:00-16:15
Vorlesungen im Wintersemester 2009/2010:
Mathematische Logik I Do 17:15-18:45 Hörsaal 1 ,
Material,
Kryptologie Hörsaal Mo 17:15-18:45,Di 15:15-16:45 Hörsaal 2
Hinweise und Übungen
Mathematische Verfahren in mki-M2, Hochschule Reutlingen Fr 13:30-16:45
Seminar im Sommersemester 2009:
Spieltheorie
Vorlesungen im Wintersemester 2008/2009:
Algorithmische Geometrie
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
|