​

​Christina Mika-Michalski
Adresse: siehe Kontakt

• Raum: LF 261
• Telefon: +49 203 379-1904
• Fax: +49 203 379-3557
• christina.mika-michalski(at)uni-due.de
• Sprechstunde: nach Vereinbarung

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 "Graphen in der Informatik: Algorithmen und Modellierung"
• SS 2017:
  • Übungsleitung für "Automaten und formale Sprachen" (Webseite)
• WS 2017/18:
  • Übungsleitung für "Berechenbarkeit und Komplexität" (Webseite)
  • Seminar "Graphen in der Informatik: Algorithmen und Modellierung"
• SS 2018:
  • Übungsleitung für "Automaten und formale Sprachen" (Webseite)
• WS 2018/19:
  • Übungsleitung für "Berechenbarkeit und Komplexität" (Webseite)
  • Seminar "Spiele in der Informatik"
• SS 2019:
  • Seminar "Spiele in der Informatik"
• WS 2019/20:
  • Übungsleitung für "Modellierung, Analyse und Verifikation" (Webseite)
• SS 2020:
  • Übungsleitung für "Modellierung nebenläufiger Systeme" (Webseite)
  • Seminar "Graphen und lineare Optimierung"
• WS 2020/21
  • Übungsleitung für "Modellierung, Analyse und Verifikation" (Webseite)
  • Seminar "Graphen und lineare Optimierung"