About me
I am an associate professor (pol. profesor uczelni) at the Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw. My research interests include automata and logic, more concretely infinite-state systems.
More information can be found in my CV (see also CV in polish).
I am looking for PhD students and post-docs interested in working in my ERC project.
Contact information
| wczerwin[at]mimuw[dot]edu[dot]pl | |
| Address | Institute of Informatics, |
| Faculty of Mathematics, Informatics, and Mechanics of the University of Warsaw | |
| ul. Banacha 2, 02-097 Warsaw, Poland | |
| Room | 03.109 (in the CENT building) |