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.
I am working on a couple of personal projects, including a differential equation solver in Forth coupled with displaying simulations in a terminal, and this website, which I am trying to build using pure Semantic HTML. It is still in its early stages, but I assume it is a long-term project, so I will update it as I go forward in my life.
Contact
- Email: michal@mogielnicki.com
- GitHub: github.com/mog1el
- LinkedIn: linkedin.com/in/mog1el/