TU BRAUNSCHWEIG

Dr. Stefan Milius

Dr. Stefan Milius
Phone 0531 / 391 9524
fax 0531 / 391 9529
E-mail ed.sb-ut@suilim.s
Technische Universität Braunschweig
Institut für Theoretische Informatik
Mühlenpfordtstr. 22-23
D-38106 Braunschweig

Seit Januar 2013 forsche und lehre ich an der FAU Erlangen-Nürnberg; bitte besuchen Sie meine neue Web-Seite.

Curriculum Vitae

[ Download .pdf]

Lehre

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.

Auszeichnungen

    Alte Projekte


      aktualisiert am 04.04.2013
    TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang