Students/Internships
summer 2022, I supervised the internship of Adrián Doña Mateo, a Part III math student at Cambridge, thanks to a grant awarded from the CMP programme. Adrián is now a PhD student under the supervision of Tom Leinster at the University of Edinburgh.
May-August 2021, I supervised the Master 2 thesis Vector Bundles in Type Theory of Nicolò Cavalleri from École Normale Supérieure in Paris (now a PhD student at the London School of Geometry and Number Theory).
April-August 2021, I co-supervised (with Larry Paulson) Zibo Yang (Master I MPRI from École Polytechnique, Paris).
June-August 2020, I supervised the internship of Nicolò Cavalleri, a Part III student of the Mathematical Tripos (St. Edmund's College, University of Cambridge).
2019-20, supervising Xiao Ma's Part II Dissertation on deep learning (Gonville & Caius College, University of Cambridge).
From 24th June 2019 to 31 August 2019, I supervised the internship of Hanna Lachnitt, the second recipient of the Helmut Veith Prize awarded annually to an outstanding female Master's Student in computer science at TU Wien (Austria). Our project was awarded an Erasmus+ grant. Hanna is now a PhD student at Stanford.
From 10th June 2019 to 5th August 2019, I supervised the internship of Yijun He, a 2nd-year student from the Mathematical Tripos (St. John's College, University of Cambridge). Yijun and I were awarded a grant from the Cambridge Mathematics Placements Programme of the Department of Pure Mathematics and Mathematical Statistics. Yijun is now a PhD student in cryptography at ETH Zurich.
From April to August 2018, I co-supervised (with Larry Paulson) the internship of two students (Master I), Martin Baillon and Paulo Emilio de Vilhena, from Ecole Polytechnique (Paris, France). One can have a look at their work here. Martin and Paulo are now both PhD students at INRIA in France.
In April 2018 I was invited to take part in the MPhil project focus group of Andreas Theocharous (MPhil student, University of Cambridge) who works on Speedith, a diagrammatic reasoner for spider diagrams.