Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Michael_Butler_(computer_scientist)> ?p ?o. }
Showing items 1 to 76 of
76
with 100 items per page.
- Michael_Butler_(computer_scientist) abstract "Michael J. Butler is Professor of Computer Science at the University of Southampton, UK.Butler was originally from Ireland and received his Bachelors 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, 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) birthPlace Republic_of_Ireland.
- Michael_Butler_(computer_scientist) country United_Kingdom.
- Michael_Butler_(computer_scientist) wikiPageExternalLink mjb.
- Michael_Butler_(computer_scientist) wikiPageExternalLink ~mjb.
- Michael_Butler_(computer_scientist) wikiPageExternalLink www.event-b.org.
- Michael_Butler_(computer_scientist) wikiPageID "7334854".
- Michael_Butler_(computer_scientist) wikiPageRevisionID "577290495".
- Michael_Butler_(computer_scientist) hasPhotoCollection Michael_Butler_(computer_scientist).
- Michael_Butler_(computer_scientist) name "Butler, Michael".
- Michael_Butler_(computer_scientist) placeOfBirth Republic_of_Ireland.
- Michael_Butler_(computer_scientist) shortDescription "Computer scientist".
- 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.
- Michael_Butler_(computer_scientist) subject Category:Formal_methods_people.
- Michael_Butler_(computer_scientist) subject Category:Irish_computer_scientists.
- Michael_Butler_(computer_scientist) subject Category:Irish_expatriates_in_the_United_Kingdom.
- Michael_Butler_(computer_scientist) subject Category:Living_people.
- Michael_Butler_(computer_scientist) subject Category:Members_of_Oxford_University_Department_of_Computer_Science.
- Michael_Butler_(computer_scientist) subject Category:Year_of_birth_missing_(living_people).
- Michael_Butler_(computer_scientist) type Absentee109757653.
- Michael_Butler_(computer_scientist) type Academician109759069.
- Michael_Butler_(computer_scientist) type AcademicsOfTheUniversityOfSouthampton.
- Michael_Butler_(computer_scientist) type Adult109605289.
- Michael_Butler_(computer_scientist) type AlumniOfTrinityCollege,Dublin.
- Michael_Butler_(computer_scientist) type AlumniOfWolfsonCollege,Oxford.
- Michael_Butler_(computer_scientist) type Alumnus109786338.
- Michael_Butler_(computer_scientist) type BritishComputerScientists.
- Michael_Butler_(computer_scientist) type CausalAgent100007347.
- Michael_Butler_(computer_scientist) type ComputerScientist109951070.
- Michael_Butler_(computer_scientist) type ComputerUser109951274.
- Michael_Butler_(computer_scientist) type Educator110045713.
- Michael_Butler_(computer_scientist) type Exile110071332.
- Michael_Butler_(computer_scientist) type FormalMethodsPeople.
- Michael_Butler_(computer_scientist) type Intellectual109621545.
- Michael_Butler_(computer_scientist) type IrishComputerScientists.
- Michael_Butler_(computer_scientist) type IrishExpatriatesInTheUnitedKingdom.
- Michael_Butler_(computer_scientist) type LivingPeople.
- Michael_Butler_(computer_scientist) type LivingThing100004258.
- Michael_Butler_(computer_scientist) type Object100002684.
- Michael_Butler_(computer_scientist) type Organism100004475.
- Michael_Butler_(computer_scientist) type Person100007846.
- Michael_Butler_(computer_scientist) type PhysicalEntity100001930.
- Michael_Butler_(computer_scientist) type Professional110480253.
- Michael_Butler_(computer_scientist) type Scholar110557854.
- Michael_Butler_(computer_scientist) type Scientist110560637.
- Michael_Butler_(computer_scientist) type Traveler109629752.
- Michael_Butler_(computer_scientist) type Whole100003553.
- Michael_Butler_(computer_scientist) type YagoLegalActor.
- Michael_Butler_(computer_scientist) type YagoLegalActorGeo.
- Michael_Butler_(computer_scientist) type Agent.
- Michael_Butler_(computer_scientist) type Person.
- Michael_Butler_(computer_scientist) type Person.
- Michael_Butler_(computer_scientist) type Q215627.
- Michael_Butler_(computer_scientist) type Q5.
- Michael_Butler_(computer_scientist) type Agent.
- Michael_Butler_(computer_scientist) type NaturalPerson.
- Michael_Butler_(computer_scientist) type Thing.
- Michael_Butler_(computer_scientist) type Person.
- Michael_Butler_(computer_scientist) comment "Michael J. Butler is Professor of Computer Science at the University of Southampton, UK.Butler was originally from Ireland and received his Bachelors 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).".
- Michael_Butler_(computer_scientist) label "Michael Butler (computer scientist)".
- Michael_Butler_(computer_scientist) sameAs m.025zj43.
- Michael_Butler_(computer_scientist) sameAs Q6828969.
- Michael_Butler_(computer_scientist) sameAs Q6828969.
- Michael_Butler_(computer_scientist) sameAs Michael_Butler_(computer_scientist).
- Michael_Butler_(computer_scientist) wasDerivedFrom Michael_Butler_(computer_scientist)?oldid=577290495.
- Michael_Butler_(computer_scientist) givenName "Michael".
- Michael_Butler_(computer_scientist) homepage mjb.
- Michael_Butler_(computer_scientist) isPrimaryTopicOf Michael_Butler_(computer_scientist).
- Michael_Butler_(computer_scientist) name "Butler, Michael".
- Michael_Butler_(computer_scientist) name "Michael Butler".
- Michael_Butler_(computer_scientist) surname "Butler".