Szymon Toruńczyk

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

My research interests include:

  • logic in computer science
  • automata theory
  • finite model theory and database theory
  • model theory
  • complexity theory

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

My ORCID iD is ORCID logo 0000-0002-1130-9033.

Szymon Toruńczyk


Office: 5680.

Tel.: +48 22 55 44 568.