Skip to main content

Marta Kwiatkowska - People

Current DPhil students


Current postdoctoral researchers


Visitors

  • 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, 2017-2022.
  • Maciej Olejnik, Modelling Human-Like Decision Making and Social Trust Using Probabilistic Programming, 2017-2022.

Past research fellows