About
I am a student of Theoretical Physics at TCD.
Throughout the course of my short life, I have tried to learn a bit of everything - from physics and maths to diplomacy and politics. I have, however, always found myself drawn to the more scientific and technical subjects. This allows me to now connect the dots between different fields and often seem crazy for making absurd claims that I try to defend by constructing models that strongly rely on fun assumptions.
I am a big fan of the Suckless Philosophy, now using OpenBSD (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.
Except for work, I enjoy learning about a good bit of random topics in mathematics, physics, and computer science.
This website is still not developed fully - not sure if it can ever be, but I will try to keep it updated :) .
Contact
- Email: michal@mogielnicki.com
- GitHub: github.com/mog1el
- LinkedIn: linkedin.com/in/mog1el/