Chris Chilton

Research Assistant

Doctoral Student

Student, Balliol College

chris.SURNAME@cs.ox.ac.uk

+44 (0)1865 610774

Room 448, Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

I am generally interested in quantitative aspects of specification and verification, in particular:

Probabilistic model checking,
Quantitative interface models, and
Compositional verification techniques.

I'm currently applying these techniques to the CONNECT project, in order to reason formally about the behaviour of heterogeneous connectors exhibiting non-functional characteristics.

Biography

I am a research assistant on the EU-funded CONNECT project, a collaboration between a number of institutions throughout Europe and China. In parallel with this appointment, I will be studying for a DPhil under the supervision of Professor Marta Kwiatkowska in the area of probabilistic model checking. Prior to this engagement, I studied for the degree of Master of Computer Science, again at Oxford. During that time, I looked at decidability and complexity results for bisimilarity and similarity of alternating timed automata, along with Dr James Worrell.