Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Michael_Butler_(computer_scientist)> ?p ?o }
- Michael_Butler_(computer_scientist) abstract "Michael J. Butler is Professor of Computer Science at the University of Southampton, England.Butler was originally from Ireland and received his bachelor's degree in Computer Science from Trinity College, Dublin in 1988. He then undertook an MSc and DPhil at the Programming Research Group in Oxford (1989 and 1992 respectively), working in the area of Communicating Sequential Processes (CSP). Subsequently he worked for Broadcom in Dublin and at Åbo Akademi University in Turku, Finland with Ralph-Johan Back on Refinement Calculus. He joined the University of Southampton in 1995 as a lecturer, rising to Reader in 2000 and then Professor in the same year.He leads the Dependable Systems & Software Engineering (DSSE) group at the School of Electronics and Computer Science, University of Southampton. His main research is in the area of the B-Method (originated by J.-R. Abrial), especially tool support such as ProB (model checking for B), U2B (UML and B), csp2B (CSP and B), and the RODIN toolset for Event-B.".
- Michael_Butler_(computer_scientist) almaMater Trinity_College,_Dublin.
- Michael_Butler_(computer_scientist) almaMater University_of_Oxford.
- Michael_Butler_(computer_scientist) almaMater Wolfson_College,_Oxford.
- Michael_Butler_(computer_scientist) birthPlace Ireland.
- Michael_Butler_(computer_scientist) birthPlace Republic_of_Ireland.
- Michael_Butler_(computer_scientist) country United_Kingdom.
- Michael_Butler_(computer_scientist) doctoralAdvisor Carroll_Morgan_(computer_scientist).
- Michael_Butler_(computer_scientist) field Computer_science.
- Michael_Butler_(computer_scientist) field Formal_methods.
- Michael_Butler_(computer_scientist) field Software_engineering.
- Michael_Butler_(computer_scientist) influencedBy Jean-Raymond_Abrial.
- Michael_Butler_(computer_scientist) influencedBy Ralph-Johan_Back.
- Michael_Butler_(computer_scientist) knownFor B-Method.
- Michael_Butler_(computer_scientist) nationality Republic_of_Ireland.
- Michael_Butler_(computer_scientist) residence United_Kingdom.
- Michael_Butler_(computer_scientist) thumbnail Michael_Butler_(computer_scientist).jpg?width=300.
- Michael_Butler_(computer_scientist) wikiPageExternalLink summary?doi=10.1.1.32.3610.
- Michael_Butler_(computer_scientist) wikiPageExternalLink mjb.
- Michael_Butler_(computer_scientist) wikiPageExternalLink ~mjb.
- Michael_Butler_(computer_scientist) wikiPageID "7334854".
- Michael_Butler_(computer_scientist) wikiPageLength "4549".
- Michael_Butler_(computer_scientist) wikiPageOutDegree "48".
- Michael_Butler_(computer_scientist) wikiPageRevisionID "687117907".
- Michael_Butler_(computer_scientist) wikiPageWikiLink B-Method.
- Michael_Butler_(computer_scientist) wikiPageWikiLink British_Computer_Society.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Broadcom.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Carroll_Morgan_(computer_scientist).
- Michael_Butler_(computer_scientist) wikiPageWikiLink Category:Academics_of_the_University_of_Southampton.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Category:Alumni_of_Trinity_College,_Dublin.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Category:Alumni_of_Wolfson_College,_Oxford.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Category:British_computer_scientists.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Category:Formal_methods_people.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Category:Irish_computer_scientists.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Category:Irish_expatriates_in_the_United_Kingdom.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Category:Living_people.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Michael_Butler_(computer_scientist) wikiPageWikiLink Communicating_sequential_processes.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Computer_science.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Doctor_of_Philosophy.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Dublin.
- Michael_Butler_(computer_scientist) wikiPageWikiLink England.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Finland.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Formal_methods.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Ireland.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Jean-Raymond_Abrial.
- Michael_Butler_(computer_scientist) wikiPageWikiLink London.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Master_of_Science.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Programming_Research_Group.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Ralph-Johan_Back.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Refinement_calculus.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Republic_of_Ireland.
- Michael_Butler_(computer_scientist) wikiPageWikiLink School_of_Electronics_and_Computer_Science,_University_of_Southampton.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Software_engineering.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Trinity_College,_Dublin.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Turku.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Unified_Modeling_Language.
- Michael_Butler_(computer_scientist) wikiPageWikiLink United_Kingdom.
- Michael_Butler_(computer_scientist) wikiPageWikiLink University_of_Oxford.
- Michael_Butler_(computer_scientist) wikiPageWikiLink University_of_Southampton.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Wolfson_College,_Oxford.
- Michael_Butler_(computer_scientist) wikiPageWikiLink Åbo_Akademi_University.
- Michael_Butler_(computer_scientist) wikiPageWikiLinkText "Butler, M.".
- Michael_Butler_(computer_scientist) wikiPageWikiLinkText "Michael Butler (computer scientist)".
- Michael_Butler_(computer_scientist) wikiPageWikiLinkText "Michael Butler".
- Michael_Butler_(computer_scientist) almaMater Trinity_College,_Dublin.
- Michael_Butler_(computer_scientist) almaMater University_of_Oxford.
- Michael_Butler_(computer_scientist) almaMater Wolfson_College,_Oxford.
- Michael_Butler_(computer_scientist) birthPlace Ireland.
- Michael_Butler_(computer_scientist) caption "Prof. Michael Butler speaking at the British Computer Society offices in London, 2015.".
- Michael_Butler_(computer_scientist) doctoralAdvisor Carroll_Morgan_(computer_scientist).
- Michael_Butler_(computer_scientist) fields Computer_science.
- Michael_Butler_(computer_scientist) fields Formal_methods.
- Michael_Butler_(computer_scientist) fields Software_engineering.
- Michael_Butler_(computer_scientist) imageSize "220".
- Michael_Butler_(computer_scientist) influences Jean-Raymond_Abrial.
- Michael_Butler_(computer_scientist) influences Ralph-Johan_Back.
- Michael_Butler_(computer_scientist) knownFor B-Method.
- Michael_Butler_(computer_scientist) name "Butler, Michael J.".
- Michael_Butler_(computer_scientist) name "Michael Butler".
- Michael_Butler_(computer_scientist) nationality Republic_of_Ireland.
- Michael_Butler_(computer_scientist) placeOfBirth Republic_of_Ireland.
- Michael_Butler_(computer_scientist) residence United_Kingdom.
- Michael_Butler_(computer_scientist) shortDescription "Computer scientist".
- Michael_Butler_(computer_scientist) thesisTitle "A CSP Approach To Action Systems".
- Michael_Butler_(computer_scientist) thesisUrl summary?doi=10.1.1.32.3610.
- Michael_Butler_(computer_scientist) thesisYear "1992".
- Michael_Butler_(computer_scientist) website mjb.
- Michael_Butler_(computer_scientist) wikiPageUsesTemplate Template:Infobox_scientist.
- Michael_Butler_(computer_scientist) wikiPageUsesTemplate Template:Persondata.
- Michael_Butler_(computer_scientist) wikiPageUsesTemplate Template:Reflist.
- Michael_Butler_(computer_scientist) wikiPageUsesTemplate Template:UK-academic-bio-stub.
- Michael_Butler_(computer_scientist) workplaces University_of_Southampton.
- Michael_Butler_(computer_scientist) description "Computer scientist".
- Michael_Butler_(computer_scientist) description "Computer scientist".
- Michael_Butler_(computer_scientist) subject Category:Academics_of_the_University_of_Southampton.
- Michael_Butler_(computer_scientist) subject Category:Alumni_of_Trinity_College,_Dublin.
- Michael_Butler_(computer_scientist) subject Category:Alumni_of_Wolfson_College,_Oxford.
- Michael_Butler_(computer_scientist) subject Category:British_computer_scientists.