The rigorous justification and development of safety-critical systems; architectural and pattern-oriented approaches to software design and development.
1995-present - Lecturing Academic and Industrial Courses, University of York.
Teach on IEE Vacation School in Safety Critical Systems, University of York.
Academic Theme Leader for Dependability within the Software Systems Engineering Initiative (SSEI)
E-mail: Send e-mail using web form
Personal Homepage: https://www-users.cs.york.ac.uk/tpk100/