​

​Christina Mika-Michalski
Address: see Contakt

• Room: LF 261
• Phone: +49 203 379-1904
• Fax: +49 203 379-3557
• christina.mika-michalski(at)uni-due.de
• Office hours: by appointment

Research interests

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

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" (Website)
  • Seminar
• SS 2017:
  • Teaching assistance for "Automata and formal languages" (Website)
• WS 2017/18:
  • Teaching assistance for "Complexity and Computability" (Website)
  • Seminar
• SS 2018:
  • Teaching assistance for "Automata and formal languages" (Website)
• WS 2018/19:
  • Teaching assistance for "Complexity and Computability" (Website)
  • Seminar
• SS 2018:
  • Seminar
• WS 2019/20:
  • Teaching assistance for "Modellierung, Analyse und Verifikation" (Website)
  • Seminar
• SS 2020
  • Teaching assistance for "Modellierung nebenläufiger Systeme" (Website)
  • Seminar
• WS 2019/20:
  • Teaching assistance for "Modellierung, Analyse und Verifikation" (Website)
  • Seminar