Neue Mitarbeiterin: Dr. Luisa Herrmann
Aus International Center for Computational Logic
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 „Weighted Automata with Storage" verteidigt. Bevor sie sich der Computational Logic Group angeschlossen hat, war sie zuletzt Postdoc am Lehrstuhl „Grundlagen der Programmierung“.