Michael Butler (computer scientist)

http://dbpedia.org/resource/Michael_Butler_(computer_scientist) an entity of type: Thing

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. rdf:langString
rdf:langString Michael Butler (computer scientist)
rdf:langString Michael Butler
rdf:langString Michael Butler
xsd:integer 7334854
xsd:integer 1089968132
rdf:langString A CSP Approach To Action Systems
xsd:integer 1992
rdf:langString Michael Butler speaking at the British Computer Society in London, 2015
xsd:integer 220
rdf:langString 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.
xsd:nonNegativeInteger 4507
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
yago:WikicatBritishComputerScientists
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
yago:WikicatLivingPeople
<http://www.wikidata.org/entity/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
<http://www.ecs.soton.ac.uk/people/mjb>
<http://commons.wikimedia.org/wiki/Special:FilePath/Michael_Butler_(computer_scientist).jpg>
<http://dbpedia.org/resource/Ireland>
<http://dbpedia.org/resource/Ireland>
<http://dbpedia.org/resource/Category:Irish_expatriates_in_the_United_Kingdom>
<http://dbpedia.org/resource/Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford>
<http://dbpedia.org/resource/Category:Irish_computer_scientists>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:Alumni_of_Trinity_College_Dublin>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Southampton>
<http://dbpedia.org/resource/Category:British_computer_scientists>
<http://dbpedia.org/resource/Category:Alumni_of_Wolfson_College,_Oxford>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/Carroll_Morgan_(computer_scientist)>
<http://dbpedia.org/resource/Category:Irish_expatriates_in_the_United_Kingdom>
<http://dbpedia.org/resource/School_of_Electronics_and_Computer_Science,_University_of_Southampton>
<http://dbpedia.org/resource/Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford>
<http://dbpedia.org/resource/Category:Irish_computer_scientists>
<http://dbpedia.org/resource/Republic_of_Ireland>
<http://dbpedia.org/resource/University_of_Oxford>
<http://dbpedia.org/resource/University_of_Southampton>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/MSc>
<http://dbpedia.org/resource/Communicating_sequential_processes>
<http://dbpedia.org/resource/Computer_science>
<http://dbpedia.org/resource/Åbo_Akademi_University>
<http://dbpedia.org/resource/Ralph-Johan_Back>
<http://dbpedia.org/resource/Programming_Research_Group>
<http://dbpedia.org/resource/Software_engineering>
<http://dbpedia.org/resource/Category:Alumni_of_Trinity_College_Dublin>
<http://dbpedia.org/resource/British_Computer_Society>
<http://dbpedia.org/resource/Trinity_College,_Dublin>
<http://dbpedia.org/resource/Turku>
<http://dbpedia.org/resource/DPhil>
<http://dbpedia.org/resource/Dublin>
<http://dbpedia.org/resource/Formal_methods>
<http://dbpedia.org/resource/Unified_Modeling_Language>
<http://dbpedia.org/resource/Ireland>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Southampton>
<http://dbpedia.org/resource/Category:British_computer_scientists>
<http://dbpedia.org/resource/Category:Alumni_of_Wolfson_College,_Oxford>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/Jean-Raymond_Abrial>
<http://dbpedia.org/resource/B-Method>
<http://dbpedia.org/resource/Wolfson_College,_Oxford>
<http://dbpedia.org/resource/Refinement_calculus>
<http://dbpedia.org/resource/Event-B>
<http://dbpedia.org/resource/Broadcom>
<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>
<http://rdf.freebase.com/ns/m.025zj43>
<http://yago-knowledge.org/resource/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>
<http://www.wikidata.org/entity/Q112404556>
<http://www.wikidata.org/entity/Q6828969>
<http://data.bibliotheken.nl/id/thes/p239278585>
<https://global.dbpedia.org/id/4sCXM>
<http://citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.32.3610>
<http://dbpedia.org/resource/University_of_Southampton>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:EngvarB>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:URL>
<http://dbpedia.org/resource/Template:Use_dmy_dates>
<http://dbpedia.org/resource/Template:Infobox_scientist>
<http://commons.wikimedia.org/wiki/Special:FilePath/Michael_Butler_(computer_scientist).jpg?width=300>
<http://dbpedia.org/resource/University_of_Oxford>
<http://dbpedia.org/resource/Trinity_College,_Dublin>
<http://dbpedia.org/resource/Wolfson_College,_Oxford>
<http://dbpedia.org/resource/Computer_science>
<http://dbpedia.org/resource/Software_engineering>
<http://dbpedia.org/resource/Formal_methods>
<http://dbpedia.org/resource/Ralph-Johan_Back>
<http://dbpedia.org/resource/Jean-Raymond_Abrial>
<http://dbpedia.org/resource/B-Method>
<http://dbpedia.org/resource/Republic_of_Ireland>
<http://dbpedia.org/resource/Carroll_Morgan_(computer_scientist)>
<http://dbpedia.org/resource/Carroll_Morgan_(computer_scientist)>
<http://dbpedia.org/resource/University_of_Southampton>
<http://dbpedia.org/resource/Professor>
<http://en.wikipedia.org/wiki/Michael_Butler_(computer_scientist)?oldid=1089968132&ns=0>
<http://dbpedia.org/resource/Computer_science>
<http://dbpedia.org/resource/Software_engineering>
<http://dbpedia.org/resource/Formal_methods>
<http://dbpedia.org/resource/University_of_Oxford>
<http://dbpedia.org/resource/Trinity_College,_Dublin>
<http://dbpedia.org/resource/Wolfson_College,_Oxford>
<http://dbpedia.org/resource/Ralph-Johan_Back>
<http://dbpedia.org/resource/Jean-Raymond_Abrial>
<http://dbpedia.org/resource/B-Method>
<http://dbpedia.org/resource/Republic_of_Ireland>
<http://en.wikipedia.org/wiki/Michael_Butler_(computer_scientist)>

data from the linked data cloud