I am a logician at heart, but at the same time it is essential for me to be working on problems that I think are practically relevant to the world. By working at the intersection with theories of computation and physics, I am hoping to find a link with practical applications without having to compromise my love for abstract theory.
My academic interests range from foundations of physics, via mathematics, to computer science, logic and language. In practice, this means that I often end up studying applications of category theory, which for me is a nice language to see parallels between these different fields.
A more specific selection of topics that I'm very curious about:
Category theory, topos theory, intuitionistic logic, type theories, substructural logics, modal logics, quantum logic, (Bayesian and quantum) probability theory and their connections to logics, Bayesian statistics, machine learning, quantum information and computation theory, syntax and semantics of natural language, computational linguistics, semantics of programming languages, practical applications of pure mathematics and logic, philosophy of physics, philosophy of language, (ir)rationality and probably anything that is discussed on the n-Category Café or an Less Wrong.
I am a big believer in the value that mindfulness can have for both happiness and productivity. I'm a big fan of total body workout type endurance sports like racing obstacle courses, rowing, (cross country) skiing, wind surfing. When I find the time, I like reading literature (some favourites: Haruki Murakami, Jorge Luis Borges, Vladimir Nabokov, Franz Kafka, Arnon Grunberg) and playing and listening to classical music (Alexander Scriabin, Philip Glass, Dmitri Shostakovich, the late Ludwig van Beethoven, Maurice Ravel, George Gershwin, Béla Bartók, Igor Stravinsky, Benjamin Britten).