Institut für Informatik / Fakultät für Mathematik und Informatik / Universität Leipzig

---

Supervisor: Prof. Dr. Manfred Droste

Gustav Grabolle

E-mail:

grabolle at informatik.uni-leipzig.de

Lehre

Semester 17/18:	• Übungsleitung Diskrete Strukturen
	• Betreuung Bachelorseminar
Semester 18/18:	• Übungsleitung Berechenbarkeit
	• Betreuung Bachelor- & Masterseminar
Semester 18/19 - 22/22:	• Betreuung Bachelor- & Masterseminar
Semester 22/23:	• Übungsleitung Automathentheorie
Semester 23/23:	• Übungsleitung Logik
Semester 23/24:	• Übungsleitung Automathentheorie
Semester 24/24:	• Übungsleitung Logik
	• Betreuung Bachelorarbeit

Publikationen (Publications)

• G. Grabolle: A nivat theorem for weighted alternating automata over commutative semirings, in: Proceedings GandALF 2021, EPTCS 346, pp. 241-257, 2021.
• G. Grabolle: A nivat theorem for weighted alternating automata over commutative semirings (long version), in: Logical Methods in Computer Science, Volume 19, Issue 4, 2023
• M. Droste, G. Grabolle, G. Rahonis: Weighted linear dynamic logic, International Journal of Foundations of Computer Science 35, Issue No. 01n02, pp. 145-177, 2024.