I am a second-year PhD student in the Algorithms and Data Analysis group in the Department of Computer Science at King’s College London, supervised by Professor Hubie Chen.
Before that, I completed the Mathematical Tripos at University of Cambridge, Christ’s College. I undertook summer research projects at University of Jerusalem and at University of Cambridge supervised by Professor Anuj Dawar.
Prior to that, I participated in Math Olympiads, for five years consistently ranking in the top of the Polish MOs, representing Poland in Slovakia, St Petersburg, and Vietnam, and publishing research projects at EUCYS and Delta.
My research interest lies in the applications of foundations of mathematics (mathematical logic, model theory, category theory) to problems in theoretical computer science (database theory, artificial intelligence, constraint satisfaction problems).
Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2 (with Przemysław Andrzej Wałęga, Accepted at AAAI 2026 (to appear)). arXiv:2508.06091
Part III essay Classifying Toposes and Completeness Theorems (supervised by Dr José Siqueira).