Szymon Toruńczyk

I am currently a post-doc, working for INRIA under the guidance of Luc Segoufin at the Laboratoire Spécification et Vérification, at ENS de Cachan.

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.

Szymon Toruńczyk
Contact

Institute of Informatics, University of Warsaw, Poland

LSV, Cachan, France.

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

Tel. (fr): +33 6-41-67-93-86

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