I am an assistant professor (pol. adiunkt) 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 and separability problems.
More information can be found in the CV.
|Address||Institute of Informatics,|
|Faculty of Mathematics, Informatics, and Mechanics of the University of Warsaw|
|ul. Banacha 2, 02-097 Warsaw, Poland|
|Phone||+48 22 5544564|