Stuart Anderson is interested in how we are justified in placing confidence in programmable systems.
This interest arose in the context of his projects involving reasoning about critical-systems. These projects have an interdisciplinary approach taking a broad view of what constitutes evidence of safety.This approach has evolved into an holistic investigation of the dependability of programmable systems. This takes the interactions between systems, people and organisations as its focus concentrating on how failures arise in these communications and how we represent and reason about such systems.
A central plank in the investigation of error is the use of domain-specific representations and how they support human and machine reasoning.He is interested in transferring his work into industry and has coordinated a Teaching Company Scheme with Adelard, a safety critical consultancy, to transfer a range of techniques developed at Edinburgh into industrial use. Currently he is involved with Lucas Aerospace in a project investigating adapting formal reasoning to the domain of full authority digital engine controllers. More broadly, his involvement with the European Workshop on Industrial Computer System (EWICS TC7) and several European companies provides strong industrial interaction.
A list of publications by Stuart Anderson is available.
|Page Maintainer: email@example.com||Credits||Project Members only||Last Modified: 12 August, 2005|