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
 

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