Anton Pirogov

M. Sc.
Anton Pirogov
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)


Building: Erweiterungsbau 1

Room: 4108a

Ahornstr. 55

52074 Aachen


Phone: +49 241 80 21707
Fax: +49 241 80 22215

Office Hours

by appointment

Scholar of the research training group 2236 UnRAVeL

Logos of UnRAVeL and DFG

Funded by the german research foundation (DFG) - GRK 2236 UnRAVeL


Research Interests



Title Author Published in
New Optimizations and Heuristics for Determinization of Büchi Automata Christof Löding, Anton Pirogov ATVA 2019
Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp Christof Löding, Anton Pirogov ICALP 2019
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic Normann Decker, Anton Pirogov VMCAI 2019
On Finitely Ambiguous Büchi Automata Christof Löding, Anton Pirogov

DLT 2018

Master's thesis: SMT-based Flat Model-Checking for LTL with Counting Anton Pirogov Universität zu Lübeck, 2017
Bachelor's thesis: Extending Freeze-LTL on Multi-Attributed Data-Words with Quantifiers Anton Pirogov Universität zu Lübeck, 2015