Interests

Strong software engineering, grand challenge in dependable systems evolution, Verified Software Initiative, Unifying Theories of Programming, Systems of Systems, software engineering in healthcare

Qualifications

FREng

Career

Until 2001: Professor of Software Engineering and Director of Centre of Excellence, University of Oxford

Departmental and University Roles

• Senate member