Scholar
Filip Mazowiecki
Google Scholar ID: YFtpw-kAAAAJ
University of Warsaw
Citations & Impact
Citations
524
H-index
12
i10-index
15
Publications
20
Co-authors
50
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Since October 2023, PI of the project 'Counting models in formal verification', looking for PhD students and postdocs. Past students include Philip Offtermatt (co-supervised with Michael Blondin).
Research Experience
- Was a research group leader in MPI for Software Systems in Saarbrücken; postdoc at the University of Bordeaux; postdoc at the University of Oxford; and postdoc at the University of Warwick.
Education
- PhD student at the Institute of Informatics, University of Warsaw under the supervision of Filip Murlak and Emanuel Kieroński.
Background
- Main interests include automata, weighted automata, vector addition systems, and database related logics.
Miscellany
- Personal interests include food and goblins.
