Main

About me

Affiliation

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

Supervisor: Krzysztof Krawiec.


Research

My research interests include:

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

Some of the projects I'm working on are accessible on my github.


Profiles