Personal tools
You are here: Home People Academics Stuart Anderson

Stuart Anderson

Position: Senior Lecturer
Role: Member
E-mail: soa@staffmail.ed.ac.uk
Office(s): IF-3.46
Phone(s): (+44 131 6)505191
Research Interests: Design and analysis of dependable systems, formal proof in systems development.
Homepage: http://www.dcs.ed.ac.uk/~soa/
Document Actions