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.
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.