The University of Southampton

Dr Toby Wilkinson

Research Staff

Following a first degree in mathematics, and a masters degree in computational fluid dynamics, I worked as a software engineer for 10 years. Subsequently I undertook a Ph.D. in computer science in the ESS group in ECS under Dr. Corina Cirstea, and I am now a Research Fellow working for Prof. Michael Butler.


Research interests

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

Professional activities

Member of the Organising Committee for CALCO 2011.

Member of the Programme Committee for CALCO-Jnr 2011.


Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.