Person
Anton Pirogov
M. Sc.
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Address
Building: Erweiterungsbau 1
Room: 4108a
Ahornstr. 55
52074 Aachen
Office Hours
- nach Vereinbarung
Research Interests
Teaching
| Term | Class |
|---|---|
| Winter term 2018/2019 | Seminar Theorie Effizienter Hash-Techniken |
| Summer term 2018 | Seminar Theoretical Topics in Data Science |
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 |