Szymon Toruńczyk

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

My research interests include:

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

I'm developing a plugin – Prezoom – for creating animated presentations in Flash.

Szymon Toruńczyk
Contact

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

Office: 5680.

Tel.: +48 22 55 44 568.