Michael Butler | |
|---|---|
&sq=digital ID&lang=en&file=File:Michael_Butler_(computer_scientist).jpg) Michael Butler speaking at the British Computer Society in London, 2015 | |
| Born | Ireland |
| Nationality | Irish |
| Alma mater | Trinity College, Dublin Wolfson College, Oxford |
| Known for | B-Method |
| Scientific career | |
| Fields | Computer science, software engineering, formal methods |
| Institutions | University of Southampton |
| Thesis | A CSP Approach To Action Systems (1992) |
| Doctoral advisor | Carroll Morgan |
| Website | www |
Michael J. Butler is an Irish computer scientist. As of 2022, he is professor of computer science and Dean of the Faculty of Engineering and Physical Sciences at the University of Southampton, England.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search