Michał Mogielnicki
I study Theoretical Physics at Trinity College Dublin and work as a research engineer intern at Axiom Math, using Lean 4 to formalize mathematics. I study random fields under fun assumptions.
Research
-
"A bijective proof of a partition theorem of Berkovich and Uncu"
Michał Mogielnicki, Ken Ono, Niels Voss, and Jujian Zhang | arXiv:2608.05142 | 2026 -
"Record compositions of alternating permutations and noncommutative symmetric functions"
Evan Chen, Michał Mogielnicki, and Ken Ono | arXiv:2607.12873 | 2026
Notes
- TCD Integration Bee 2026 (PDF)