Person

Anton Pirogov

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

Address

Building: Erweiterungsbau 1

Room: 4108a

Ahornstr. 55

52074 Aachen

Contact

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

Office Hours

nach Vereinbarung
 

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

 

Publications

Title Author Published in
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