about me

My name is Maciej Szreter. I work as a researcher in the Institute of Computer Science, Polish Academy of Sciences in Warsaw. My scientific interests include: 

  • formal verification, model checking
  • testing SATisfiability
  • timed concurrent systems
  • multi-agent systems, modeling of knowledge

e-mail: mszreter at ipipan.waw.pl