Christine Mika

Kontakt

Name: Christine Mika
E-mail: christine.mika(at)uni-due.de
Telefon: +49 (0)203 / 379 1904
Fax: +49 (0)203 / 379 3557
Raum: LF 261
Adresse: siehe Kontakt
Sprechstunde: nach Vereinbarung

Forschungsgebiete

  • Bisimulation, Spiele und Logik
  • Gewichtete Automaten
  • Semiringe
  • Coalgebra
  • Metriken

Veröffentlichungen

Eine Liste meiner Veröffentlichungen befindet sich später hier.

Lehre

  • SS 2016:
    • Übungsleitung für "Mathematische Strukturen" (Webseite)
  • WS 2016/17:
    • Übungsleitung für "Modellierung, Analyse und Verifikation" (Webseite)
  • SS 2017:
    • Übungsleitung für "Automaten und formale Sprachen" (Webseite)
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin