Skip to main content
University of Oxford Department of Computer Science
Marta Kwiatkowska - People
Current DPhil students
Current postdoctoral researchers
Gabriel Santos, Research Associate on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2020-25.
Radek Piórkowski, Research Associate on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2024-25.
Rajarshi Roy, Research Associate on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2024-25.
Minghao Liu, Research Associate on FAIR project FAIR: Framework for Responsible Innovation for Responsible Adoption of AI in the Financial Services Industry , 2024-26.
Francisco Quinzan, Research Associate on EU project ELSA: European Lighthouse on Secure and Safe AI , (under UK guarantee), 2023-25.
Visitors
Matthias König, Leiden University, see here , Sept-Dec 2023.
Tobias Lorenz, CISPA Helmholtz Center for Information Security, see here , Sept2023-Feb2024.
Christoph Weinhuber, Technical University of Munich, see here , May-October 2023.
Jon Vadillo, University of the Basque Country UPV/EHV, see here , July-October 2022.
Ender Yuksel, Technical University of Denmark, see here , Sep 2008.
Kostas Chatzikokolakis, LIX Ecole Polytechnique and Comlab, see here , 2007-2008.
Doina Bucur, Aarhus University, see here , Jan-Jun 2008.
Pedro Baltazar, IST Lisbon, see here , Apr-Jun 2008.
Josee Desharnais, Laval University, Quebec, 2009-10.
Vojtech Forejt, Masaryk University, Brno, Jan-June 2010.
Past PhD students
Gethin Norman, Metric Semantics for Reactive Probabilistic Processes
Amani El-Rayes, Analysing Performance of Open Queueing Systems with Stochastic Process Algebras
Jeremy Sproston, Probabilistic Hybrid Systems , 1996-2000.
Dave Parker, Implementation of symbolic model checking for probabilistic systems
Bohumir Zoubek, Automatic verification of control programs , 2000-04.
Rashid Mehmood, Disk-based techniques for efficient solution of large Markov chains , 2000-04.
Stefano Cattani, Trace-based process algebras for real-time probabilistic systems , EPSRC project studentship associated with
Verification of Quality of Service Properties in Timed Systems , 2001-04.
Sibusisiwe Chiyangwa, Analysing timed properties of ad hoc network protocols via model checking , 2001-05.
Zhenyu Liu, Swarm-based routing algorithms for mobile ad hoc networks , 2002-05.
Fuzhi Wang, Symbolic model checking for probabilistic real-time systems , 2002-06.
Oksana Tymchyshyn, On the use of process algebra techniques in computational modelling of cancer initiation and development ,
PhD studentship associated with EPSRC project e-Science Pilot Project on Integrative Biology , 2004-08.
Mark Kattenbelt, Automated Quantitative Software Verification , part-time DPhil in association with EPSRC
Automated quantitative software verification , 2006-10.
Matthias Fruth, Combining Formal Analysis and Simulation for the Analysis of Wireless Network Protocols , part-funded by EPSRC project
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures , 2005-2011.
Lu Feng, On Learning Assumptions for Compositional Verification of Probabilistic Systems , DPhil in association with EPSRC project
Predictable Software Systems ,
part of LSCITS collaboration , 2008-2013.
Chris Chilton, An Algebraic Theory of Componentised Interaction , DPhil in association with European Commission FP7 project CONNECT-IP , 2009-13.
Aistis Simaitis, Automatic Verification of Competitive Stochastic Systems , DPhil partially supported by ERC project VERIWARE: From Software Verification to Everyware Verification , 2010-13.
Marco Diciolla, Quantitative Verification of Real-Time Properties with Application to Medical Devices , DPhil in association with ERC project VERIWARE: From Software Verification to Everyware Verification , 2010-14.
Mateusz Ujma, On Verification and Controller Synthesis for Probabilistic Systems at Runtime , DPhil in association with ERC project VERIWARE: From Software Verification to Everyware Verification , 2011-15.
Frits Dannenberg, Modelling and verification for DNA nanotechnology , DPhil in association with a Microsoft Research PhD Scholarship project, see here , and partially supported by ERC project VERIWARE: From Software Verification to Everyware Verification , 2011-15.
Caroline Schneider, Quantitative regulation of inducible genes: comparing models of 'on/off' against continuously variable switches , DPhil student in Systems Biology DTC (co-supervision), 2012-15.
Clemens Wiltsche, Assume-Guarantee Strategy Synthesis for Stochastic Games , DPhil partially supported by ERC project VERIWARE: From Software Verification to Everyware Verification , 2012-15.
Luca Laurenti, Noise and Predictability in Molecular Systems (co-supervised by Luca Cardelli), 2014-18.
Max Whitby, The Modelling and Synthesis of Chemical Reaction Networks , 2015-19.
Min Wu, Robustness Evaluation of Deep Neural Networks with Provable Guarantees , 2015-2020.
Gabriel Santos, Automatic Verification and Strategy Synthesis for Zero-sum and Equilibria Properties of Concurrent Stochastic Games , 2015-2021.
Andrea Patane, On the Adversarial Robustness of Gaussian Processes , Marie Curie Fellow on AFFECTech (see also this link ) and AIMS CDT DPhil student, 2017-2021.
Matthew Wicker, Adversarial Robustness of Bayesian Neural Networks , 2018-2022.
Rhiannon Falconmore (née Michelmore), On the Role of Explainability and Uncertainty in Ensuring Safety of AI Applications , DPhil partially supported by ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2017-2022.
Maciej Olejnik, Modelling Human-Like Decision Making and Social Trust Using Probabilistic Programming , 2017-2022.
Clare Lyle, Generalisation Through the Lens of Learning Dynamics , 2018-2022 (co-supervised by Yarin Gal).
Hjalmar Wijk, DPhil student, 2020-2022.
Elias Benussi, DPhil student in association with ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2020-2022.
Pascale Gourdeau, Sample Complexity of Robust Learning against Evasion Attacks , DPhil partially supported by ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2017-2023 (co-supervised by James Worrell and Varun Kanade).
Benjie Wang, Tractable Probabilistic Models for Causal Learning and Reasoning , DPhil student on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2019-2023.
Emanuele La Malfa, On Robustness for Natural Language Processing , DPhil partially supported by ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2019-2023.
Past research fellows
Jeremy Sproston, Honorary Research Fellow on EPSRC project Verification of Quality of Service Properties in Timed Systems , 2000-2003.
Dimitar Guelev, Research Fellow on EPSRC project The Feature Construct in Programming and Specification Languages with Mark Ryan as PI, 2001-2004.
Marie Duflot, Research Fellow A Future Of Reliable Wireless Ad hoc networks of Roaming Devices (FORWARD) , part of Next Wave Technologies and Markets , 2003-2004.
Yi Zhang, Research Fellow on EPSRC project The Midlands e-Science Centre of Excellence on Modelling and Analysis of Large Complex Systems , 2004-2005.
Aidan Harding, part-time Research Fellow on EPSRC project The Midlands e-Science Centre of Excellence on Modelling and Analysis of Large Complex Systems , 2003-2004.
Maria Grazia Vigliotti, Research Fellow on Predictive modelling of signalling pathways via probabilistic model checking with PRISM , 2006.
Wang Xu, Research Fellow on EPSRC project An Integrated Framework for Formal Verification and Distributed Simulation of Asynchronous Hardware (with Georgios Theodoropoulos as PI), 2003-2006.
Tianyi Zang, Research Officer on MRC project CancerGrid: Open Standards for Clinical Cancer Informatics , 2006-2008.
Gethin Norman, Research Officer on EPSRC project UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures , 2007-2010.
Radu Calinescu, Research Officer on EPSRC project Predictable Software Systems , part of LSCITS collaboration .
Doina Bucur, Research Assistant on EPSRC project UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures , 2008-2010.
Dominik Wojtczak, EPSRC PDRF Trust Metrics for SPKI/SDSI , 2009-2010.
Ashutosh Trivedi, Research Officer on EPSRC project Predictable Software Systems , part of LSCITS collaboration , 2008-2010.
Stephen Kell, Oxford Martin School Fellow, Institute for the Future of Computing , 2010-2012.
Dave Parker, Research Officer on ERC project VERIWARE: From Software Verification to Everyware Verification , 2010-2015.
Sergio Giro, Research Officer on DARPA project PRISMATIC: Unified Hierarchical Probabilistic Verification Tool , 2011-2012.
Vojtech Forejt, Royal Society Newton Fellow, 2010-2012.
Hongyang Qu, Research Assistant on FP7 EU project CONNECT-IP: Emergent Connectors for Eternal Software Intensive Networked Systems , 2009-2013.
Xu Wang, Consultant Research Associate on FP7 EU project CONNECT-IP: Emergent Connectors for Eternal Software Intensive Networked Systems , 2012-2013.
Ernst Moritz Hahn, Research Officer on ERC project VERIWARE: From Software Verification to Everyware Verification , 2012-2013.
Klaus Draeger, Research Officer on EPSRC project Predictable Software Systems , part of LSCITS collaboration , 2010-2013.
Taolue Chen, Research Officer on ERC project VERIWARE: From Software Verification to Everyware Verification , 2010-2013.
Anthony Widjaja Lin, EPSRC PDRF A generic transducer-based approach to modelling and verifying infinite-state systems: techniques, applications, and tools , 2010-2013.
Tingting Han, Research Officer on ERC project VERIWARE: From Software Verification to Everyware Verification , 2010-2013.
Chris Thachuk, Oxford Martin School Fellow, Institute for the Future of Computing and ERC project VERIWARE: From Software Verification to Everyware Verification , 2012-2014.
Alexandru Mereacre, Research Officer on ERC projects VERIPACE and VERIWARE , 2010-2015.
Benoit Barbot, Research Officer on ERC project VERIWARE , 2014-2015.
Peter Kim, Research Officer on ERC projects VERIWARE and VERIPACE , 2013-2015.
Nicolas Basset, Research Officer on ERC project VERIWARE , 2013-2015.
Aleksandra Jovanovic, Research Officer on ERC project VERIWARE , 2013-2015.
Milan Ceska, visitor and Research Officer on ERC project VERIWARE , 2014-2016.
Nicola Paoletti, Research Officer on ERC projects VERIWARE and VERIPACE , 2014-2016.
Xiaowei Huang, Research Officer on Mobile Robotics Programme Grant and ERC project VERIWARE , 2015-2017.
Maria Svorenova, Research Officer on Mobile Robotics Programme Grant and ERC project VERIWARE , 2015-2017.
Morteza Lahijianian, Research Officer in association with Mobile Robotics Programme Grant and ERC project VERIWARE , 2015-2018.
Wenjie Ruan, Research Officer on Mobile Robotics Programme Grant , 2017-2019.
Agnieszka Zbrzezny, Research Officer in association with Mobile Robotics Programme Grant , 2019-2020.
Luca Laurenti, Research Officer on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2019-21.
Andrea Patane, Research Officer on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2020-21.
Min Wu, Research Officer in association with Innovate UK project Enabling Rapid Adoption of Artificial Intelligence through an Anonymised Data Protocol and Explainable Models 2019-2021.
Matthew Wicker, Research Associate on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2021-22.
Rui Yan, Research Associate on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2021-24.
Pian Yu, Research Associate on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2022-24.
Xiyue Zhang, Research Associate on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning , 2022-24.
