www.comlab.ox.ac.uk/people/Marta.Kwiatkowska/people.html
Marta Kwiatkowska - People
Current DPhil students
-
Lu Feng, DPhil in association with EPSRC project Predictable Software Systems, part of LSCITS collaboration, 2008-.
-
Chris Chilton, DPhil in association with European Commission FP7 project CONNECT-IP, 2009-.
-
Marco Diciolla, DPhil in association with ERC project VERIWARE, 2010-.
-
Aistis Simaitis, DPhil student, 2010-.
-
Mateusz Ujma, DPhil in association with ERC project VERIWARE, 2011-.
-
Frits Dannenberg, DPhil in association with a Microsoft Research PhD Scholarship project, see here, 2011-.
-
Clemens Wiltsche, DPhil student, 2012-.
Current postdoctoral researchers
- Hongyang Qu, Research Assistant on FP7 EU project CONNECT-IP: Emergent Connectors for Eternal Software Intensive Networked Systems
, 2009-2012.
- Anthony Widjaja To, EPSRC PDRF A generic transducer-based approach to modelling and verifying infinite-state systems: techniques, applications, and tools, 2010-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-2015.
- Tingting Han, Research Officer on ERC project VERIWARE: From Software Verification to Everyware Verification, 2010-2015.
- Alexandru Mereacre, Research Officer on ERC project VERIWARE: From Software Verification to Everyware Verification, 2010-2015.
- Xu Wang, Consultant Research Associate on FP7 EU project CONNECT-IP: Emergent Connectors for Eternal Software Intensive Networked Systems
, 2012.
- Chris Thachuk, Oxford Martin School Fellow, Institute for the Future of Computing and ERC project VERIWARE: From Software Verification to Everyware Verification, 2012-2015.
- Ernst Moritz Hahn, Research Officer on ERC project VERIWARE: From Software Verification to Everyware Verification, 2012-2015.
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, PhD studentship associated with EPSRC project e-Science Pilot Project on Integrative Biology, 2004-08.
-
Mark Kattenbelt, 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.
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.