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)
Phone: +44 (0)1904 325500
Office: Off-campusE-mail: Send e-mail using web form