 |
||
| 0531 / 391 9524 |  |
|
| 0531 / 391 9529 |  |
|
| ed.sb-ut@suilim.s |  |
|
| Technische Universität Braunschweig Institut für Theoretische Informatik Mühlenpfordtstr. 22-23 D-38106 Braunschweig |
||
Curriculum Vitae
Lehre
- Aktuelle Informationen zu meinen Lehrveranstaltungen.
- Themen für Studentische Arbeiten oder nach Absprache.
- Folien zum Kurs bei ESSLLI 2010 (korrigierte Fassung: 14-08-10).
Forschung
Meine Forschungsinteressen liegen im Bereich der Kategorientheorie, der Theorie der Koalgebren und ihrer Anwendungen in der Informatik. Außerdem interessiere ich mich für formale Methoden in der Softwareentwicklung wie formale Verifikation.
- Liste meiner Veröffentlichungen
- Liste meiner Vorträge
Auszeichnungen
- Ackermann Award 2006 für meine Dissertation.
- Braunschweig Preis für hervorragende Leistungen im Studium, 2000.
Alte Projekte
- Meine Masterarbeit mit dem Titel "Relations in Categories"
- Meine Studienarbeit mit dem Titel "Multiplikation dünn besetzter Matrizen mit dem befehlssystolischen Array"
- Alan - Ein Simulator für Turing Maschinen, den ich gemeinsam mit Kommilitonen 1997 entwickelt habe.
- Graphics Vision - eine Bibliothek zur Erstellung grafischer Benutzeroberflächen in Turbo Pascal, an der ich 1992 - 1996 mitentwickelt habe.
aktualisiert 15.08.2010
Druckversion
Verantwortlich:
Stefan Milius
Feedback an s.milius@tu-braunschweig.de