Undergraduate studies at the University of Oxford, UK (B.A. in Mathematics and Computation, 1992). Graduate studies at the University of Warwick, UK (M.Sc. in Parallel Computers and Computation, 1993; PhD in Computer Science, 1996). She has worked as a Teaching Assistant at the University of Warwick, UK (1993-1996) and as a Postdoctoral Research Fellow at the University of Pennsylvania, USA (1997-1998).
Her research interests include Concurrency Theory and its Applications, Specification and Verification of Concurrent Systems, Formal Methods for Safety-Critical Systems and Algorithmic Game Theory.