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

Studiuję fizykę teoretyczną na Trinity College Dublin i pracuję jako stażysta inżynier-badacz w Axiom Math, używając Lean 4 do formalizacji matematyki. Bawię się losowymi polami nauki przy dziwnych założeniach.

Notatki

• TCD Integration Bee 2026 (PDF)

Badania

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