Registered user since Thu 8 Mar 2018

Name: Mikolaj Bojanczyk

Bio: I work at the University of Warsaw. My research is on logic in computer science, with a focus on automata.

Country: Poland

Affiliation: University of Warsaw

Personal website: https://www.mimuw.edu.pl/~bojan/

Contributions