Christina Mika-Michalski
Adresse: siehe Kontakt

Forschungsgebiete

  • Bisimulation, Spiele und Logik
  • Gewichtete Automaten
  • Semiringe
  • Coalgebra
  • Metriken
  • Generische Programmierung
  • Fixpunktspiele

Veröffentlichungen

Eine Liste meiner Veröffentlichungen befindet sich bei der Universitätsbibliothek.

Lehre

  • SS 2016:
    • Übungsleitung für "Mathematische Strukturen" (Webseite)
  • WS 2016/17:
    • Übungsleitung für "Modellierung, Analyse und Verifikation" (Webseite)
    • Seminar
  • SS 2017:
    • Übungsleitung für "Automaten und formale Sprachen" (Webseite)
  • WS 2017/18:
    • Übungsleitung für "Berechenbarkeit und Komplexität" (Webseite)
    • Sminar
  • SS 2018:
    • Übungsleitung für "Automaten und formale Sprachen" (Webseite)
  • WS 2018/19:
    • Übungsleitung für "Berechenbarkeit und Komplexität" (Webseite)
    • Seminar
  • SS 2018:
  • WS 2019/20:
    • Übungsleitung für "Modellierung, Analyse und Verifikation" (Webseite)