Hello!

I am a PhD candidate in the area of mathematics at the Faculty of Mathematics and Information Science at the Warsaw University of Technology (supervised by Konstanty Junosza-Szaniawski, started in October 2022).

My scientific interests include combinatorics and graph theory. I am particularly interested in the application of optimization models and computer techniques (such as Mixed Integer Linear Programming and SAT-Solvers). Additionally, I focus my attention on issues related to formal verification (Coq, Lean, Agda) and cryptography. For more deatils, please check the "Research" section.

I am a member of the Scientific Council for Mathematics at WUT and a member of the Programme Committee for the Mathematics Programme, also at WUT. I attach great importance to the popularization of mathematics and computer science - I conduct many lectures and workshops for students of various levels. In particular, I am a member of the Organizing Committee of Mathematics Popularization Day. Moreover, I am the secretary of the Combinatorics, Graph Theory and Ordered Sets Seminar (KTGiZU).

In my free time, I am interested in sports (especially ski jumping, tennis, and football) and public transport. Moreover, I really like playing pub quizzes with my friends, watching TV knowledge quiz shows and I spend time watching various videos on YouTube.

Feel free to conctact me!