Michał Mogielnicki michal@mogielnicki.com · GitHub · LinkedIn · Zulip · PL

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.

Notes

• TCD Integration Bee 2026 (PDF)

Research

A bijective proof of a partition theorem of Berkovich and Uncu (with Ken Ono, Niels Voss, Jujian Zhang)
Record compositions of alternating permutations and noncommutative symmetric functions (with Evan Chen, Ken Ono)