Principle Investigator
Professor Marta Zofia Kwiatkowska, Professor of Computing Systems, Automated Verification theme head and Fellow of Trinity College.
Current DPhil students
- Pascale Gourdeau, DPhil student, 2017- (co-supervised by James Worrell).
- Rhiannon Falconmore (née Michelmore), DPhil student, 2017-.
- Maciej Olejnik, DPhil student, 2017-.
- Clare Lyle, DPhil student, 2018- (co-supervised by Yarin Gal and Varun Kanade).
- Matthew Wicker, DPhil student, 2018-.
- Emanuele La Malfa, DPhil student in association with ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning, 2019-.
- Benjie Wang, DPhil student in association with ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning, 2019-.
- Elias Benussi, DPhil student in association with ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning, 2020-.
- Hjalmar Wijk, DPhil student, 2020-.
Current postdoctoral researchers
- Andrea Patane, Research Associate in association with ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning, 2020-23.
- Gabriel Santos, Research Associate in association with ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning, 2020-23.
- Rui Yan, Research Associate in association with ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning, 2021-24.
- Min Wu, Research Associate in association with Innovate UK project Enabling Rapid Adoption of Artificial Intelligence through an Anonymised Data Protocol and Explainable Models 2019-2021.
Support / Contact
- Anita Hancox, Project Officer and PA to Prof. Marta Kwiatkowska.