Dr. Michael Butler

Biography

Michael Butler is a distinguished computer scientist and Dean of the Faculty of Physical Sciences and Engineering at the University of Southampton. He is renowned internationally for his pioneering work in developing and deploying formal methods that ensure the safety and security of software-based systems. His research specifically focuses on model-based methods, particularly the formal method known as Event-B. His work encompasses applications, tools, and methodologies related to formal methods, and he has played a leading role in the development of analysis tools used in industry, making key theoretical and methodological contributions that enable the scaling of analysis for large and complex systems. Michael Butler has extensive collaborations with industry partners, including Thales, Hitachi, and Airbus, demonstrating his commitment to applying academic research to real-world challenges. He is a Fellow of the British Computer Society and has served as Chair of the International Federation for Information Processing Working Group WG 2.3 on Programming Methodology from 2013 to 2019. Moreover, he has chaired international conferences on formal methods and is an active member of the editorial boards of prestigious academic journals, including Formal Aspects of Computing and the International Journal of Critical Computer-Based Systems.

Research Interests

Experience