Statistician and Probabilist interested in foundations of probability, logic, foundations of mathematics, homotopy type theory, and category theory.