Scholar
Tobias Meggendorfer
Google Scholar ID: 2fzp1cAAAAAJ
Assistant Professor, Lancaster University Leipzig
Citations & Impact
Citations
522
H-index
12
i10-index
19
Publications
20
Co-authors
20
list available
Publications
Resume (English only)
Academic Achievements
- Fellow of the ISTfellow program – 2-year postdoc funding.
- Nominated for the GI dissertation award 2021 by TUM.
- Selected attendee of the 9th Heidelberg Laureate Forum (young researcher).
- Invited to Dagstuhl seminars four times.
- Published in top venues including AAAI 2022 ('Risk-Aware Stochastic Shortest Path'), LICS 2023, SODA 2023, TheoretiCS 2025, etc.
- Developed or contributed to key tools: owl (library for ω-words, automata, and LTL), Rabinizer 4.0 (*main developer*, for small automata from LTL), SemML (semantic ML for LTL reactive synthesis).
- Served on program committees for major conferences (e.g., AAAI, CAV, HSCC, TACAS) and as reviewer for journals (e.g., JACM, TCS); ~90 reviews total.
- Co-organized Young Scientist Symposium 2022 (YSS22).
- Supervised 3 MSc and 4 BSc theses, leading to two publications.
- Developed DOMtutor, a teaching library based on DOMjudge for algorithm/data structure courses, presented at FOMEO’22.
