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 to appear in 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