Neuigkeit vom 6. April 2022

Neue Mitarbeiterin: Dr. Luisa Herrmann

Luisa studierte an der TU Dresden Informatik und hat dort 2015 ihren Master abgeschlossen. Anschließend war sie Stipendiatin im Graduiertenkolleg QuantLA und hat 2020 ihre Dissertation [https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-740685 „Weighted Automata with Storage") verteidigt. Bevor sie sich der Computational Logic Group angeschlossen hat, war sie zuletzt Postdoc am Lehrstuhl „Grundlagen der Programmierung“. Herzlich willkommen, Luisa!