Logic
PhD students
Current PhD students (by starting year)
2023
- Hope Duncan (A Karagila, AD Brooke-Taylor)
- Giorgio Genovesi (P Shafer)
- Angus Matthews (VL Mantova, P Eleftheriou, HD Macpherson)
2022
- Ben De Smet (P Eleftheriou, VL Mantova)
- Stuart Green (HD Macpherson, VL Mantova)
- Mervyn Tong (P Eleftheriou, VL Mantova)
- Shuwei Wang (M Rathjen, P Shafer)
2021
- Thomas Bernert (HD Macpherson, VL Mantova)
- Calliope Ryan-Smith (A Karagila, AD Brooke-Taylor, VL Mantova)
- Shuangshuang Shu (A Karagila, M Rathjen, P Shafer)
2020
- Alexandra Pestana Policarpo De Gouveia (AD Brooke-Taylor, A Karagila)
- Pietro Freni (VL Mantova, HD Macpherson)
- Luca Mesiti (N Gambino (Manchester), M Rathjen)
- Aris Papadopoulos (P Eleftheriou, HD Macpherson)
- Andrew Slattery (N Gambino (Manchester), AD Brooke-Taylor)
- Matteo Spadetto (N Gambino (Manchester), M Rathjen)
2019
- Ibrahim Mohammed (VL Mantova, HD Macpherson)
2018
- Bea Adam-Day (AD Brooke-Taylor, HD Macpherson)
Past PhD students (by graduation year)
2022
- Rory Ainslie (HD Macpherson, VL Mantova): Definable Sets in Finite Structures
- Francesco Paolo Gallinaro (VL Mantova, HD Macpherson): Around exponential-algebraic closedness
2021
- Bjarki Benediktsson (HD Macpherson, I Adler): Model-theoretic methods for algorithmically tame graph classes
- Gabriele Lobbia (N Gambino): Pseudomonads, Relative Monads and Strongly Finitary Notions of Multicategory
- Richard Matthews (AD Brooke-Taylor, M Rathjen): Large Cardinals in Weakened Axiomatic Theories
- Giovanni Soldà (P Shafer, M Rathjen): Calibrating the complexity of combinatorics: reverse mathematics and Weihrauch degrees of some principles related to Ramsey’s theorem