ETAPS 2019 (series) / Mikolaj Bojanczyk

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
ETAPS 2019-profile
View general profile
View general profile