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

E-mail wczerwin[at]mimuw[dot]edu[dot]pl
AddressInstitute of Informatics,
Faculty of Mathematics, Informatics, and Mechanics of the University of Warsaw
ul. Banacha 2, 02-097 Warsaw, Poland
Room03.109 (in the CENT building)