I am interested in philosophy of mathematics and in particular in reasoning with visualisations.