Prof Steve King
Associate Staff

Interests

Formal methods of system specification and development; applications of such methods in industry, especially to safety-critical systems.

Qualifications

MA Maths, Oxford
MSc Computation, Oxford
DPhil Computation, Oxford

Career

1995 - 2006 Lecturer, University of York;
2006 - 2016 Senior Lecturer, University of York
2016 - 2022 Reader (Teaching and Scholarship), University of York
2022 - date Professor (Teaching and Scholarship), University of York

Departmental and University Roles

• Associate PVC (Teaching, Learning and Students)
• Chair Standing Committee on Assessment
• QAA HE Reviewer