Philippa Hopcroft, PhD

Senior Research Fellow, Computer Science, University of Oxford

Dr Philippa Hopcroft is a Senior Research Fellow in Computer Science at the University of Oxford. She completed her PhD at Oxford in 2001, in the area of security protocol analysis. Since then, Philippa has specialised in the development and application of formal verification technologies for improving the development of complex software systems in industry. She has co-invented several new patented technologies in this field, and demonstrated how such approaches can be effectively applied across a number of domains in practice. For the last three years, Philippa has been leading several research projects at the University of Oxford that seek to bring the power of automated verification and code generation to model-based engineering platforms in an accessible way. The motivation for this work is the escalating cost of developing software across industry sectors, and the need for a new generation of technologies to tackle the increasing complexity of modern systems. As such, she collaborates extensively with industry partners on these research projects and develops exploitation routes for the eventual commercialisation of the resulting technology.