Dr Helen Treharne

Biography

Integrating state and event-based formal methods is an active research area which aims to provide the foundations for describing and reasoning about complex systems. My main research interest has focused on developing an integrated approach called CSP||B. This combines B and CSP descriptions in a very straightforward way so that complex interactions can be separated from the data structures, enabling compositional verification.

My current EPSRC project, "Verification of Interacting Components", is investigating the animation of CSP || B descriptions and extending its theoretical foundations. My general interests also lie in the use of informal notations (UML in particular) to aid readability of specifications. In the future I aim to apply CSP||B to modelling non-functional requirements of embedded systems such as avionics control software. My teaching interests include formal methods, concurrency, modelling and simulation, and the use of JCSP.