Michael Butler is Dean of the Faculty of Engineering and Physical Sciences and a Professor of Computer Science. His research is in the area of mathematical methods for design and verification of safe and secure software-based systems.
B.A.(Hons) Computer Science, Trinity College Dublin (1988);
M.Sc. Computation, University of Oxford (1989);
D.Phil. Computation, University of Oxford (1992).
You can update this in Pure (opens in a new tab). Select ‘Edit profile’. Under the heading and then ‘Curriculum and research description’, select ‘Add profile information’. In the dropdown menu, select - ‘About’.
Write about yourself in the third person. Aim for 100 to 150 words covering the main points about who you are and what you currently do. Clear, simple language is best. You can include specialist or technical terms.
You’ll be able to add details about your research, publications, career and academic history to other sections of your staff profile.
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.
Editorial Board of Formal Aspects of Computing
Editorial Board of Intl. J. of Critical Computer-Based Systems
Editorial Board of Software Tools for Technology Transfer
You can update the information for this section in Pure (opens in a new tab).
Any research groups you belong to will automatically appear on your profile. Speak to your line manager if these are incorrect. Please do not raise a ticket in Ask HR.
Add up to 5 research interests. The first 3 will appear in your staff profile next to your name. The full list will appear on your research page. Keep these brief and focus on the keywords people may use when searching for your work. Use a different line for each one.
In Pure (opens in a new tab), select ‘Edit profile’. Under the heading 'Curriculum and research description', select 'Add profile information'. In the dropdown menu, select 'Research interests: use separate lines'.
Update this in Pure (opens in a new tab). Select ‘Edit profile’ and then ‘Curriculum and research description - Current research’.
Describe your current research in 100 to 200 words. Write in the third person. Include broad key terms to help people discover your work, for example, “sustainability” or “fashion textiles”.
Research Council funded projects will automatically appear here. The active project name is taken from the finance system.
Public outputs that list you as an author will appear here, once they’re validated by the ePrints Team. If you’re missing any outputs that you’ve added to Pure, they may be waiting for validation.
Contact your Faculty Operating Service team to update PhD students you supervise and any you’ve previously supervised. Making this information available will help potential PhD applicants to find you.
A short description of your teaching interests and responsibilities.
This section will only display on your public profile if you’ve added content.
You can update your teaching description in Pure (opens in a new tab). Select ‘Edit profile’. Under the heading and then ‘Curriculum and research description’ , select ‘Add profile information’. In the dropdown menu, select – ‘Teaching Interests’. Describe your teaching interests and your current responsibilities. Aim for 200 words maximum.
Courses and modules
Contact the Curriculum and Quality Assurance (CQA) team for your faculty to update this section.
External roles and responsibilities
You can update your external roles and responsibilities in Pure (opens in a new tab). Select ‘+ Add content’ and then ‘Activity’, your ‘Personal’ tab and then ‘Activities’. Choose which activities you want to show on your public profile.
You can hide activities from your public profile. Set the visibility as 'Backend' to only show this information within Pure, or 'Confidential' to make it visible only to you.
I studied for a bachelor's degree in Computer Science at Trinity College Dublin. I then did an MSc in Computation and DPhil (PhD) in Computation at the University of Oxford. After Oxford I worked for a telecoms research company (Broadcom Eireann) in Dublin and then spent two years in Abo Akademi in Finland as a researcher. I started as a Lecturer in Southampton in 1995 and subsequently became a Reader and Professor.
You can update your biography section in Pure (opens in a new tab). Select your ‘Personal’ tab then ‘Edit profile’. Under the heading, and ‘Curriculum and research description’, select ‘Add profile information’. In the dropdown menu, select - ‘Biography’. Aim for no more than 400 words.
This section will only appear if you enter the information into Pure (opens in a new tab).
You can update this section in Pure (opens in a new tab). Select ‘+Add content’ and then ‘Prize’. using the ‘Prizes’ section.
You can choose to hide prizes from your public profile. Set the visibility as ‘Backend’ to only show this information within Pure, or ‘Confidential’ to make it visible only to you.