An der Universität der Bundeswehr München:
Vorlesungen
- Analysis 1
- Analysis 2
- Ausgewählte Kapitel der Komplexitätstheorie
- Berechenbarkeit (II)
- Einführung in die Diskrete Mathematik/Diskrete Mathematik
- Formale Sprachen und Automatentheorie
- Graphentheorie
- Grundlagen der Berechenbarkeit
- Höhere Mathematik für Wirtschaftsinformatik (teilweise)
- Informations- und Codierungstheorie
- Komplexitätstheorie
- Lineare Algebra (1)
- Lineare Algebra 2
- Mathematische Logik
- Numerik 1/Grundlagen der Numerik
- Numerik und Differentialgleichungen
- Quantencomputer
- Theoretische Grundlagen der Informatik 1
- Theoretische Grundlagen der Informatik 2
Seminare
- Datenkompression
- Automatentheorie
- Zahlendarstellungen und Computerarithmetik
- Kommunikationskomplexität
Sofern Webseiten zu den Lehrveranstaltungen existieren, können sie hier oder hier, auf der ILIAS-Seite, gefunden werden.
An der Universität Duisburg-Essen, Campus Duisburg:
Vorlesungen
- Informatik B1: Algorithmen und Datenstrukturen
- Informatik B2: Automaten und Formale Sprachen
- Informationstheorie/Information Theory
- Logik für Informatiker/Mathematische Logik
- Modellierungsmethoden der Informatik
Seminar
- Algorithmische Informationstheorie und Datenkompression