Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q6828969> ?p ?o }
- Q6828969 description "Computer scientist".
- Q6828969 description "Computer scientist".
- Q6828969 subject Q15274001.
- Q6828969 subject Q3919876.
- Q6828969 subject Q5312304.
- Q6828969 subject Q6847952.
- Q6828969 subject Q7037795.
- Q6828969 subject Q8219130.
- Q6828969 subject Q8237223.
- Q6828969 subject Q8237235.
- Q6828969 subject Q8466127.
- Q6828969 subject Q8554351.
- Q6828969 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.".
- Q6828969 almaMater Q2007225.
- Q6828969 almaMater Q258464.
- Q6828969 almaMater Q34433.
- Q6828969 birthPlace Q22890.
- Q6828969 birthPlace Q27.
- Q6828969 country Q145.
- Q6828969 doctoralAdvisor Q5046597.
- Q6828969 field Q1049183.
- Q6828969 field Q21198.
- Q6828969 field Q80993.
- Q6828969 influencedBy Q3169881.
- Q6828969 influencedBy Q7287124.
- Q6828969 knownFor Q3085774.
- Q6828969 nationality Q27.
- Q6828969 residence Q145.
- Q6828969 thumbnail Michael_Butler_(computer_scientist).jpg?width=300.
- Q6828969 wikiPageExternalLink summary?doi=10.1.1.32.3610.
- Q6828969 wikiPageExternalLink mjb.
- Q6828969 wikiPageExternalLink ~mjb.
- Q6828969 wikiPageWikiLink Q1049183.
- Q6828969 wikiPageWikiLink Q1120460.
- Q6828969 wikiPageWikiLink Q145.
- Q6828969 wikiPageWikiLink Q15274001.
- Q6828969 wikiPageWikiLink Q169411.
- Q6828969 wikiPageWikiLink Q1761.
- Q6828969 wikiPageWikiLink Q2007225.
- Q6828969 wikiPageWikiLink Q21.
- Q6828969 wikiPageWikiLink Q21198.
- Q6828969 wikiPageWikiLink Q22890.
- Q6828969 wikiPageWikiLink Q258464.
- Q6828969 wikiPageWikiLink Q27.
- Q6828969 wikiPageWikiLink Q3085774.
- Q6828969 wikiPageWikiLink Q3169881.
- Q6828969 wikiPageWikiLink Q33.
- Q6828969 wikiPageWikiLink Q34433.
- Q6828969 wikiPageWikiLink Q38511.
- Q6828969 wikiPageWikiLink Q3919876.
- Q6828969 wikiPageWikiLink Q5046597.
- Q6828969 wikiPageWikiLink Q5312304.
- Q6828969 wikiPageWikiLink Q555925.
- Q6828969 wikiPageWikiLink Q6847952.
- Q6828969 wikiPageWikiLink Q7037795.
- Q6828969 wikiPageWikiLink Q7248493.
- Q6828969 wikiPageWikiLink Q7287124.
- Q6828969 wikiPageWikiLink Q7307205.
- Q6828969 wikiPageWikiLink Q7432436.
- Q6828969 wikiPageWikiLink Q752297.
- Q6828969 wikiPageWikiLink Q76473.
- Q6828969 wikiPageWikiLink Q80993.
- Q6828969 wikiPageWikiLink Q8219130.
- Q6828969 wikiPageWikiLink Q8237223.
- Q6828969 wikiPageWikiLink Q8237235.
- Q6828969 wikiPageWikiLink Q84.
- Q6828969 wikiPageWikiLink Q8466127.
- Q6828969 wikiPageWikiLink Q8554351.
- Q6828969 wikiPageWikiLink Q917874.
- Q6828969 wikiPageWikiLink Q919096.
- Q6828969 wikiPageWikiLink Q950900.
- Q6828969 almaMater Q2007225.
- Q6828969 almaMater Q258464.
- Q6828969 almaMater Q34433.
- Q6828969 birthPlace Q22890.
- Q6828969 doctoralAdvisor Q5046597.
- Q6828969 fields Q1049183.
- Q6828969 fields Q21198.
- Q6828969 fields Q80993.
- Q6828969 influences Q3169881.
- Q6828969 influences Q7287124.
- Q6828969 knownFor Q3085774.
- Q6828969 name "Butler, Michael J.".
- Q6828969 name "Michael Butler".
- Q6828969 nationality Q27.
- Q6828969 placeOfBirth Q27.
- Q6828969 residence Q145.
- Q6828969 shortDescription "Computer scientist".
- Q6828969 type Person.
- Q6828969 type Agent.
- Q6828969 type Person.
- Q6828969 type Scientist.
- Q6828969 type Agent.
- Q6828969 type NaturalPerson.
- Q6828969 type Thing.
- Q6828969 type Q215627.
- Q6828969 type Q5.
- Q6828969 type Q901.
- Q6828969 type Person.
- Q6828969 comment "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).".