Electronics and Computer Science (ECS), University of Southampton

Electronics and Computer Science (ECS)

Professor Michael J Butler

Photograph of Prof Michael J Butler
http://widgets.ecs.soton.ac.uk/image.php?id=person_18&maxw=250&maxh=300&corners=0&edge=1&checksum=c895592e57b7b5acbccb48e86a4690e1Photograph of Prof Michael J Butler
Professor Michael J Butler

ECS, Faculty of Physical Sciences and Engineering
University of Southampton
Southampton, United Kingdom. SO17 1BJ

Position: Associate Dean
Position: Academic staff in Electronic and Software Systems
Extension: 22435
Telephone: Work (Voice): +44 (0)23 8059 2435
Email: mjb@ecs.soton.ac.uk
Homepage: http://users.ecs.soton.ac.uk/mjb/
URI: http://id.ecs.soton.ac.uk/person/18 [browse]

Additional Contact Details

Office B53/4032

Interests: cyber-physical systems, cybersecurity, energy-efficient computing, formal methods, software engineering


My main research area is formal methods for software engineering. These are mathematical modeling and analysis methods used to increase the trustworthiness of software based systems.  They are typically used for high integrity systems where software-induced failures would lead to loss of life or significant loss of business or reputation.  I specialise in model-based formal methods, in particular a formal method called Event-B. My research work encompasses applications, tools and methodology for formal methods. I have made key theoretical and methodological contributions to the Event-B formal method that enable it to scale to large complex systems.  These contributions enable modular analysis in terms of how systems models are structured and analysed as well as methods for development of domain-specific mathematical theories that are reusable across multiple projects.


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

Other Professional Activities

ECS staff options: Edit this page | See intranet page