Christina Mika-Michalski
Address: see Contakt

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)