Katrin Dannert

Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Phone:   +49-241-80-21709
Fax:   +49-241-80-22215
Room:   4119 (E1) / Ahornstr. 55
Email:   dannert [AT] logic.rwth-aachen.de

Office Hours

Whenever the door is open / by appointment

Research

  • Ich bin ein Teil des Graduiertenkollegs UnRAVeL
  • Provenance analysis for logic and games

Teaching

Recent Publications

All publications