I am an assistant and PhD student at the Laboratory of Intelligent Decision Support Systems, Institute of Computing Science, Poznan University of Technology.

My supervisor is Krzysztof Krawiec.

My research interests include:

  • automatic program synthesis,
  • theorem proving and SMT solvers,
  • computational and artificial intelligence,
  • machine learning,
  • theory of computation.