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

HOME

• About me
• Contact

RESEARCH

• Publications

STUDENTS

• Elementy Inteligencji Obliczeniowej
• Informatyka w Medycynie
• Skalowanie i Wizualizacja Danych