Current Place of Residence: Prague, Czech Republic
Main Interests
Mathematics: I quite enjoy foundational topics (set theory and logic), as well as algebra in general. Currently getting more and more into category theory.
Computer Science: I'm quite interested in functional programming, and the most math-adjacent aspects of theoretical computer science (type theory, proof assistants, etc.).
Philosophy of Mind, Consciousness: I'm deeply interested in how mathematics can be used to describe the structure of conscious experience; maybe some day I'll get into some sort of mathematical phenomenology project?
Buddhism: Who doesn't love a bit of dependent origination?
Facts
Music
Favorite musician/musicians: Kate Bush (#1), The Beatles, Fleet Foxes, et al.
Favorite song: Wuthering Heights
Favorite albums: The Kick Inside (Kate Bush), All Things Must Pass (George Harrison), Fleet Foxes (Fleet Foxes)