Student, Balliol College
+44 (0)1865 610774
Room 448, Wolfson Building, Parks Road, Oxford OX1 3QD
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.
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.
An Algebraic Theory of Interface Automata
Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska
No. RR−13−02. DCS. 2013.
A Compositional Specification Theory for Component Behaviours
Taolue Chen‚ Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska
No. CS−RR−12−01. DCS. 2012.