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

• Member of Departmental Research Committee
• Senate member
• Member of Industrial Advisory Board
• Member of Operations Committee
• Head of Department
• Chair of HR Committee
• Chair of Departmental Management Committee

• Formal Specification