Professor Michael J Butler

Michael works with:

•	Dr Colin F Snook	(explain)
•	Dr Abdolbaghi Rezazadeh	(explain)
•	Dr Andrew Edmunds	(explain)
•	Professor Paul H Lewis	(explain)
•	Dr Matthew J Addis	(explain)
•	Dr Kirk Martinez	(explain)
•	Renato A Silva	(explain)
•	Dr Leran Wang	(explain)
•	Dr. Michael R. Poppleton	(explain)
•	Ali Gondal	(explain)

This list of people is sourced from RKBExplorer, the result of an ECS project. Click on the "explain" link to the right of each person to find out how they are connected.
Note: the explain link requires heavy processing and may take some time to load.

Professor Michael J Butler

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

Position: Head of Group in Electronic and Software Systems
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

Qualifications

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