I am a PhD student living in Rome, (provisionally) supervised by Lorenzo Tortora de Falco (Roma Tre) and Thomas Ehrhard (Paris Cité). I am interested in most things, but lately logic, computation and geometry. My MSc was at the University of Melbourne, specialising in pure maths — my thesis applies Watanabe's Singular Learning Theory to program synthesis, using Turing machines. Before my PhD, I spent time working as a research assistant in the Melbourne Centre for Data Science, working on conservation and biosecurity.
Most of my work was conducted on unceded land belonging to the Wurundjeri people of the Kulin nation. Consider paying the rent.