Christina Mika-Michalski

Contact

Name: Christina Mika-Michalski
E-mail: christina.mika-michalski@uni-due.de
Phone: +49 (0)203 / 379 1904
Fax: +49 (0)203 / 379 3557
Room: LF 261
Address: see Contact
Office hours: by appointment

Research interests

  • Bisimulation, Games and Logic
  • Weighted Automata
  • Semirings
  • Coalgebra
  • Metrics

Publications

A list of my publications can be found here later.

Teaching

  • SS 2016:
    • Teaching assistance for "Mathematische Strukturen" (Website)
  • WS 2016/17:
    • Teaching assistance for  "Modellierung, Analyse und Verifikation" (Webseite)
  • SS 2017:
    • Teaching assistance for  "Automata and formal languages" (Webseite)
  • WS 2017/18:
    • Teaching assistance for  "Complexitiy and Compubability" (Webseite)
© University of Duisburg-Essen, Theoretical Computer Science groupLogin