Hello there. I see you found my blog.
I am currently studying Computer Science with a minor in Philosophy. My main interests are formal logic, type theory and foundations of mathematics. I also dabble in analytic philosophy. Apart from my academic interests, I also enjoy sports, especially running, road cycling and bouldering.
I am planning on writing about all of these and everything else that pops into my mind.
You can contact me on the fediverse at @email@example.com.