Szymon Toruńczyk

I work at the Institute of Informatics of the University of Warsaw.

I finished my PhD thesis in 2011 at the University of Warsaw, in Computer Science, under the supervision of Mikołaj Bojańczyk. My theis is available here; it concerns the limitedness problem, from the viewpoint of profinite words.

My research interests include:

  • new notions of languages of infinite words – automata, logic and topological complexity
  • automata over infinite alphabets.
  • logic
  • database theory

Szymon Toruńczyk
Contact

E-mail: szymtor@mimuw.edu.pl.

Tel.: +48 22 55 44 578.

Links
Mikołaj Bojańczyk — 
my thesis advisor
Automata Seminar