About: Michael Butler (computer scientist)

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property	Value
dbo:abstract	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. (en)
dbo:academicDiscipline	dbr:Computer_science dbr:Software_engineering dbr:Formal_methods
dbo:almaMater	dbr:University_of_Oxford dbr:Trinity_College,_Dublin dbr:Wolfson_College,_Oxford
dbo:birthPlace	dbr:Ireland
dbo:doctoralAdvisor	dbr:Carroll_Morgan_(computer_scientist)
dbo:influencedBy	dbr:Ralph-Johan_Back dbr:Jean-Raymond_Abrial
dbo:institution	dbr:University_of_Southampton
dbo:knownFor	dbr:B-Method
dbo:nationality	dbr:Republic_of_Ireland
dbo:thumbnail	wiki-commons:Special:FilePath/Michael_Butler_(computer_scientist).jpg?width=300
dbo:wikiPageExternalLink	https://scholar.google.com/citations%3Fhl=en&user=c0BzzQwAAAAJ http://www.ecs.soton.ac.uk/people/mjb http://www.ecs.soton.ac.uk/~mjb/ http://citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.32.3610
dbo:wikiPageID	7334854 (xsd:integer)
dbo:wikiPageLength	4507 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1089968132 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Carroll_Morgan_(computer_scientist) dbc:Irish_expatriates_in_the_United_Kingdom dbr:School_of_Electronics_and_Computer_Science,_University_of_Southampton dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbc:Irish_computer_scientists dbr:Republic_of_Ireland dbr:University_of_Oxford dbr:University_of_Southampton dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbr:MSc dbr:Communicating_sequential_processes dbr:Computer_science dbr:Åbo_Akademi_University dbr:Ralph-Johan_Back dbr:Programming_Research_Group dbr:Software_engineering dbc:Alumni_of_Trinity_College_Dublin dbr:British_Computer_Society dbr:Trinity_College,_Dublin dbr:Turku dbr:DPhil dbr:Dublin dbr:Formal_methods dbr:Unified_Modeling_Language dbr:Ireland dbc:Academics_of_the_University_of_Southampton dbc:British_computer_scientists dbc:Alumni_of_Wolfson_College,_Oxford dbc:Formal_methods_people dbr:Jean-Raymond_Abrial dbr:B-Method dbr:Wolfson_College,_Oxford dbr:Refinement_calculus dbr:Event-B dbr:Broadcom
dbp:almaMater	dbr:University_of_Oxford dbr:Trinity_College,_Dublin dbr:Wolfson_College,_Oxford
dbp:birthPlace	dbr:Ireland
dbp:caption	Michael Butler speaking at the British Computer Society in London, 2015 (en)
dbp:doctoralAdvisor	dbr:Carroll_Morgan_(computer_scientist)
dbp:fields	dbr:Computer_science dbr:Software_engineering dbr:Formal_methods
dbp:imageSize	220 (xsd:integer)
dbp:influences	dbr:Ralph-Johan_Back dbr:Jean-Raymond_Abrial
dbp:knownFor	dbr:B-Method
dbp:name	Michael Butler (en)
dbp:nationality	dbr:Republic_of_Ireland
dbp:thesisTitle	A CSP Approach To Action Systems (en)
dbp:thesisUrl	http://citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.32.3610
dbp:thesisYear	1992 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:EngvarB dbt:Reflist dbt:URL dbt:Use_dmy_dates dbt:Infobox_scientist
dbp:workplaces	dbr:University_of_Southampton
dcterms:subject	dbc:Irish_expatriates_in_the_United_Kingdom dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbc:Irish_computer_scientists dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Alumni_of_Trinity_College_Dublin dbc:Academics_of_the_University_of_Southampton dbc:British_computer_scientists dbc:Alumni_of_Wolfson_College,_Oxford dbc:Formal_methods_people
gold:hypernym	dbr:Professor
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatBritishComputerScientists dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLivingPeople wikidata:Q901 yago:Absentee109757653 yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:Exile110071332 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:WikicatIrishComputerScientists yago:WikicatIrishExpatriatesInTheUnitedKingdom yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Traveler109629752 yago:Whole100003553 yago:WikicatAcademicsOfTheUniversityOfSouthampton yago:WikicatAlumniOfTrinityCollege,Dublin yago:WikicatAlumniOfWolfsonCollege,Oxford yago:WikicatFormalMethodsPeople
rdfs:comment	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. (en)
rdfs:label	Michael Butler (computer scientist) (en)
owl:sameAs	freebase:Michael Butler (computer scientist) yago-res:Michael Butler (computer scientist) http://www4.wiwiss.fu-berlin.de/dblp/resource/person/154711 http://d-nb.info/gnd/131558889 https://dblp.org/pid/b/MichaelJButler http://viaf.org/viaf/85189249 https://orcid.org/0000-0003-4642-5373 wikidata:Michael Butler (computer scientist) wikidata:Michael Butler (computer scientist) http://data.bibliotheken.nl/id/thes/p239278585 https://global.dbpedia.org/id/4sCXM
prov:wasDerivedFrom	wikipedia-en:Michael_Butler_(computer_scientist)?oldid=1089968132&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Michael_Butler_(computer_scientist).jpg
foaf:homepage	http://www.ecs.soton.ac.uk/people/mjb
foaf:isPrimaryTopicOf	wikipedia-en:Michael_Butler_(computer_scientist)
foaf:name	Michael Butler (en)
is dbo:influenced of	dbr:Ken_Robinson_(computer_scientist)
is dbo:wikiPageDisambiguates of	dbr:Michael_Butler
is dbo:wikiPageRedirects of	dbr:Michael_J._Butler
is dbo:wikiPageWikiLink of	dbr:List_of_University_of_Southampton_people dbr:List_of_Wolfson_College,_Oxford,_people dbr:List_of_computer_scientists dbr:Michael_Butler dbr:Jonathan_Bowen dbr:BCS-FACS dbr:Kaisa_Sere dbr:Ken_Robinson_(computer_scientist) dbr:IFIP_Working_Group_2.3 dbr:Michael_J._Butler
is dbp:influenced of	dbr:Ken_Robinson_(computer_scientist)
is foaf:primaryTopic of	wikipedia-en:Michael_Butler_(computer_scientist)