Interested in formal methods, computer science, discrete mathemathics, philosophical questions, ski touring, and many other (outdoor) sports.
This is a page not in the menu. You can use markdown in this page.