Professor Michael J Butler


Professor Michael J Butler Contact Research and Projects Publications Teaching Homepage Search People		Professor Michael J Butler Professor Michael J Butler School of Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom Position: Head of Group in Dependable Systems & Software Engineering Extension: 22435 Telephone: Work (Voice): +44 (0)23 8059 2435 Email: mjb@ecs.soton.ac.uk URI: http://id.ecs.soton.ac.uk/person/18 [browse] Interests: formal methods The group secretary for the Dependable Systems & Software Engineering is Maggie A Bond. Qualifications B.A.(Hons) Computer Science, Trinity College Dublin M.Sc. Computation, University of Oxford D.Phil. Computation, University of Oxford

School of Electronics and Computer Science
University of Southampton
Southampton
SO17 1BJ
United Kingdom

Position: Head of Group in Dependable Systems & Software Engineering
Extension: 22435
Telephone: +44 (0)23 8059 2435
Email: mjb@ecs.soton.ac.uk
URI: http://id.ecs.soton.ac.uk/person/18 [browse]

Interests: formal methods

The group secretary for the Dependable Systems & Software Engineering is Maggie A Bond.

Qualifications

B.A.(Hons) Computer Science, Trinity College Dublin
M.Sc. Computation, University of Oxford
D.Phil. Computation, University of Oxford