has a BSc and MSc in Mathematics from Imperial College and Queen Mary College, London. His research in Formal Methods had included the provision of support for the formal development of software through the Mural proof assistant and its instantiation for VDM, case studies in the use of model-oriented formal notations such as VDM, Z and B Abstract Machines, and investigations of verification techniques for LOTOS specifications. His current interests include the application of formal techniques in the development of software.