Marta Kwiatkowska - People

Current DPhil students

• Daqian Shao, DPhil student associated with project FAIR: Framework for responsible adoption of artificial intelligence in the financial services industry, 2021-.
• Andrei Draghici, DPhil student, 2021- (co-supervised by Christoph Haase).

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.
• Rui Yan, Research Associate on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning, 2021-25.
• Pian Yu, Research Associate on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning, 2022-25.
• Xiyue Zhang, Research Associate on ERC project FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning, 2022-25.
• 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, 1994-97.
• Amani El-Rayes, Analysing Performance of Open Queueing Systems with Stochastic Process Algebras, 1995-2000.
• Jeremy Sproston, Probabilistic Hybrid Systems, 1996-2000.
• Dave Parker, Implementation of symbolic model checking for probabilistic systems, EPSRC MathFIT studentship, 1998-2002. Thesis shortlisted for the BCS Distinguished Dissertation Award 2003.
• 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.