My scientific activities
2026
Arytmetyka Presburgera: rozstrzygalność, złożoność i zastosowania, Ogólnopolska Sesja Studentów Matematyki. [slides]
2025
Formalization of the Balinski–Young Theorem in Lean 4, Hoborski Student Conference of Exact Sciences. ⟨preprint⟩
Twierdzenie Balinskiego-Younga: O pułapkach proporcjonalnych podziałów, Ogólnopolska Konferencja Studentów Matematyki “Oblicze”.