I am interested in interactive theorem proving (Isabelle, Lean) and automated reasoning. In particular, I am convinced that it is just a matter of time until mathematics will be digitalised in the sense that almost all proofs will be done using some sort of computer assisted system, and I want to be part of that revolution.