News67: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Jonas Karge (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jonas Karge (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 3: | Zeile 3: | ||
|Titel EN=New Member: Dr. Luisa Herrmann | |Titel EN=New Member: Dr. Luisa Herrmann | ||
|Beschreibung DE=Luisa studierte an der TU Dresden Informatik und hat dort 2015 ihren Master abgeschlossen. Anschließend war sie Stipendiatin im Graduiertenkolleg [https://lat.inf.tu-dresden.de/quantla/ 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“. | |Beschreibung DE=Luisa studierte an der TU Dresden Informatik und hat dort 2015 ihren Master abgeschlossen. Anschließend war sie Stipendiatin im Graduiertenkolleg [https://lat.inf.tu-dresden.de/quantla/ 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“. | ||
<br> | |||
Herzlich willkommen, Luisa! | Herzlich willkommen, Luisa! | ||
|Beschreibung EN=Luisa studied computer science at TU Dresden where she received her Master’s degree in 2015. Subsequently, she was an associated doctoral student at the research training group [https://lat.inf.tu-dresden.de/quantla/ QuantLA] and defended her dissertation called [https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-740685 „Weighted Automata with Storage“] in 2020. Before joining the Computational Logic Group, she was a postdoctoral researcher at the Chair for Foundations of Programming. | |Beschreibung EN=Luisa studied computer science at TU Dresden where she received her Master’s degree in 2015. Subsequently, she was an associated doctoral student at the research training group [https://lat.inf.tu-dresden.de/quantla/ QuantLA] and defended her dissertation called [https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-740685 „Weighted Automata with Storage“] in 2020. Before joining the Computational Logic Group, she was a postdoctoral researcher at the Chair for Foundations of Programming. | ||
<br> | |||
Good luck, Luisa! | Good luck, Luisa! | ||
|Datum=2022/04/06 | |Datum=2022/04/06 | ||
}} | }} |
Aktuelle Version vom 6. April 2022, 14:05 Uhr
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“.