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 teaching and the popularization of mathematics and computer science - I conduct many lectures and workshops for students of various levels. I had the pleasure of winning the students vote for the Golden Chalk award in the category Best Acadmic Teacher for Tutorials at the Faculty of Mathematics and Information Science, Warsaw University of Technology. 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!