Electronic & Software Systems Research Group Electronics & Computer Science University of Southampton Highfield, Southampton SO17 1BJ T: +44 (0)23 8059 2435 F: +44 (0)23 8059 3045 E: mjb@ecs.soton.ac.uk Office: Building 53, Room 4036

Michael Butler Professor of Computer Science Publications Research Interests: ADVANCE Project Rodin Tool for Event-B Refinement of distributed systems Formal modelling and analysis of business transactions Model checking for B (ProB Tool) Combining UML and B CSP and B (csp2B) The Refinement Calculus and tool support for refinement External Activities: Editorial Board of Formal Aspects of Computing Editorial Board of Intl. J. of Critical Computer-Based Systems Vice-chair IFIP WG 2.3 Programming Methodology Teaching (local access only): COMP1001 Introduction to Formal Methods COMP1007 Discrete Mathematics ELEC2017 B Specification Design Exercise Potted History