معرفی
Prof Steve King is a Professor (Teaching and Scholarship) at the University of York's Department of Computer Science, part of the Faculty of Sciences. He has held roles including Associate PVC for Teaching, Learning and Students, and has been involved in academic leadership positions such as Deputy Head of Department and Associate Dean. His research focuses on formal methods for system specification and development, with applications to safety-critical systems. King holds degrees from Oxford University: MA in Maths, MSc in Computation, and DPhil in Computation. He has contributed to over 30 publications in areas like formal verification, model transformation, and software safety assurance. His work emphasizes practical applications of formal methods in industry, particularly in ensuring safety-critical systems' reliability. Prof King has also served as an external examiner for multiple PhD theses, demonstrating his engagement in academic governance and quality assurance.
Key professional roles include membership in the Standing Committee on Assessment and QAA HE Review activities. His research interests span formal specification techniques, model-driven engineering, and the application of rigorous methodologies to complex software systems. Recent publications highlight contributions to test data generation, UML model simulation, and compliance notations for concurrent systems.
