Accessibility statement

Prof Steve King
Professor

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
https://pure.york.ac.uk/portal/en/researchers/steve-king(2bc37701-d28e-467d-878d-f1045ae1cb97).html

Departmental and University Roles

  • Member of University Teaching Committee
  • E-assignment Steering Group Chair
  • University SCA Chair
  • QAA Institutional Reviewer

Photo

Contact details

Department of Computer Science
University of York
Deramore Lane
York
YO10 5GH

Phone: +44 (0)1904 325420

Office: CSE/119

E-mail: