Academic and Teaching Staff

Dr Steve King
Teaching 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

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

Fax: +44 (0)1904 325599

Office: CSE/032

E-mail:
Personal Homepage: http://www-users.cs.york.ac.uk/~king/