My Ph.D. research was in coalgebras and modal logic - coalgebras are very abstract models of systems in the language of category theory, and modal logics are the logics that best capture the dynamics of such systems.
My current work is on the formal method Event-B, and in particular, how formal methods can be used to generate better quality test sets for software components.
My research interests are exceedingly broad, and cover both systems as seen from the perspective of computer science, and systems as seen from the point of view of physics. In particular, I am especially interested in identifying similarities in the mathematical representations of these two points of view. This interest stems from both a desire to understand the underlying mathematics, but also from the fact that there is an increasing trend in industry towards the development of cyber physical systems - systems that contain both a physical and computational component.
In addition, I am interested in the formal engineering of systems, and how mathematics can be deployed to improve their quality.
M.A. Mathematics, University of Cambridge
M.Sc. Computational Fluid Dynamics, Imperial College
Ph.D. Computer Science, University of Southampton
Member of the Organising Committee for CALCO 2011.
Member of the Programme Committee for CALCO-Jnr 2011.