Szymon Toruńczyk

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

My research interests include:

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

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

Szymon Toruńczyk


Office: 5680.

Tel.: +48 22 55 44 568.