Semantische Suche

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Former Members

Dipl.-Inf. Alexander Krause
  • Former Secretary
Dr. rer. nat. Marcel Lippmann
Dr.-Ing. Hongkai Liu
Prof. Dr. rer. nat. habil. Carsten Lutz
Dr. Yue Ma
Dr. rer. nat. Maja Miličić
Dipl.-Inform. Sibylle Möhle
Prof. Dr. Ulrike Sattler
Dr.-Ing. Monika Sturm
Dr.-Ing. Veronika Thost
PD Dr.-Ing. habil. Anni-Yasmin Turhan
  • Former Akademische Rätin (Research Associate and Lecturer)
  • Automata Theory