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 my 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.
about CONNECT
The project is centred on a revolutionary concept of a seamless networking infrastructure for digital systems that enables continuous composition of networked systems, and the evolution of their functionalities. The overall aim is to develop the principles and foundations for the architectural design, modelling and reasoning about networked systems. This will be achieved through the application of formal reasoning, learning, and run-time synthesis of architectural connectors. At Oxford, we will be focusing on the formal foundations for connectors, as well as automated quantitative verification techniques for non-functional requirements such as dependability.
chilton@comlab
