|
|
Interested in D.Phil. (PhD) research?
I welcome applications for doctoral study and postdoctoral visitors in areas relevant to my research interests. Possible research topics are described here, but I am happy also to consider students'
own proposals. If you are interested in a D.Phil. position (this is what PhD is called at Oxford) please email me.
See what PhD Comics did at Oxford and Trinity College at this link.
For general information about research opportunities in the Computing Laboratory see
this link and how to apply for D.Phil. in the Computing Laboratory
see here.
See also the
Systems Biology Doctoral Training Centre (DTC).
Current DPhil students
Current postdoctoral researchers
- Gethin Norman, Research Officer on EPSRC project UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures, 2007-2010.
- Dave Parker, Research Officer on EPSRC project
Automated quantitative software verification with PRISM, 2007-2010.
- Mark Kattenbelt, Research Officer on EPSRC project
Automated quantitative software verification with PRISM, 2006-2010.
- Radu Calinescu, Research Officer on EPSRC project Predictable Software Systems, part of LSCITS collaboration.
- Tianyi Zang, Research Officer on MRC project CancerGrid: Open Standards for Clinical Cancer Informatics, 2006-2008.
- Ashutosh Trivedi, Research Officer on EPSRC project Predictable Software Systems, part of LSCITS collaboration.
- TBA, Research Assistant on EPSRC project UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures, 2008-2009.
Current 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.
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.
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.
|
|
|
|
