Michał Mogielnicki

About

I am a student of TP (Theoretical Physics) at TCD.

I mostly just play around with random fields and see what breaks when fun assumptions are made.

Some useful resources are here.

I am a big fan of the Suckless Philosophy, now using Artix (and previously Gentoo) with dwm and st.

Now

I am currently interning at Axiom where I am mainly working with the Lean 4 theorem prover.

This website is still not developed fully - not sure if it can ever be, but I will try to keep it updated :) .

Research & Preprints

• "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, Ken Ono, and Michał Mogielnicki | arXiv:2607.12873 | 2026

Contact

I am always happy to hear from people working on interesting problems in mathematics and theoretical physics.