About: Tom Maibaum

Property	Value
dbo:abstract	Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts (FRSA) is a computer scientist. Maibaum has a Bachelor of Science (B.Sc.) undergraduate degree in pure mathematics from the University of Toronto, Canada (1970), and a Doctor of Philosophy (Ph.D.) in computer science from Queen Mary and Royal Holloway Colleges, University of London, England (1974). Maibaum has held academic posts at Imperial College, London, King's College London (UK) and McMaster University (Canada). His research interests have concentrated on the theory of specification, together with its application in different contexts, in the general area of software engineering. From 1996 to 2005, he was involved with developing international standards in programming and informatics, as a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68. He is a Fellow of the Institution of Engineering and Technology and the Royal Society of Arts. (en)
dbo:academicDiscipline	dbr:Computer_science
dbo:award	dbr:Fellow_of_the_Royal_Society_of_Arts
dbo:institution	dbr:McMaster_University dbr:King's_College_London dbr:Imperial_College,_London
dbo:wikiPageExternalLink	https://web.archive.org/web/20060630172739/http:/www.dcs.kcl.ac.uk/staff/tom/
dbo:wikiPageID	5450650 (xsd:integer)
dbo:wikiPageLength	5383 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1051470634 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Queen_Mary_University_of_London dbr:Royal_Holloway,_University_of_London dbr:Royal_Society_of_Arts dbc:Hungarian_expatriates_in_the_United_Kingdom dbr:University_of_London dbr:University_of_Toronto dbr:International_Federation_for_Information_Processing dbr:International_standard dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Hungarian_computer_scientists dbr:McMaster_University dbr:England dbr:Computer_science dbr:Computer_scientist dbr:Specification_(technical_standard) dbr:Software_engineering dbr:Bachelor_of_Science dbc:Academics_of_King's_College_London dbc:Alumni_of_Queen_Mary_University_of_London dbc:McMaster_University_faculty dbc:University_of_Toronto_alumni dbc:20th-century_Hungarian_people dbr:Doctor_of_Philosophy dbr:ALGOL_60 dbr:ALGOL_68 dbr:Fellow_of_the_Royal_Society_of_Arts dbc:Academics_of_Imperial_College_London dbc:Alumni_of_Royal_Holloway,_University_of_London dbc:Fellows_of_the_Institution_of_Engineering_and_Technology dbc:Formal_methods_people dbr:King's_College_London dbr:Institution_of_Engineering_and_Technology dbc:Hungarian_expatriates_in_Canada dbr:IFIP_Working_Group_2.1 dbr:Programming_language dbr:Pure_mathematics dbr:Imperial_College,_London dbr:Fellow_(learned_society) dbr:Specification
dbp:awards	dbr:Fellow_of_the_Royal_Society_of_Arts
dbp:education	dbr:University_of_London dbr:University_of_Toronto dbr:Bachelor_of_Science dbr:Doctor_of_Philosophy
dbp:fields	dbr:Computer_science
dbp:name	Tom Maibaum (en)
dbp:wikiPageUsesTemplate	dbt:DBLP dbt:Authority_control dbt:Official_website dbt:Reflist dbt:URL dbt:Infobox_scientist dbt:ALGOL_programming dbt:AcademicSearch dbt:GoogleScholar dbt:Mathgenealogy
dbp:workplaces	dbr:McMaster_University dbr:King's_College_London dbr:Imperial_College,_London
dcterms:subject	dbc:Hungarian_expatriates_in_the_United_Kingdom dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Hungarian_computer_scientists dbc:Academics_of_King's_College_London dbc:Alumni_of_Queen_Mary_University_of_London dbc:McMaster_University_faculty dbc:University_of_Toronto_alumni dbc:20th-century_Hungarian_people dbc:Academics_of_Imperial_College_London dbc:Alumni_of_Royal_Holloway,_University_of_London dbc:Fellows_of_the_Institution_of_Engineering_and_Technology dbc:Formal_methods_people dbc:Hungarian_expatriates_in_Canada
gold:hypernym	dbr:Maibaum
schema:sameAs	http://viaf.org/viaf/110055894
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLivingPeople wikidata:Q901 yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:WikicatHungarianComputerScientists yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:Wikicat20th-centuryHungarianPeople yago:WikicatAcademicsOfImperialCollegeLondon yago:WikicatAcademicsOfKing'sCollegeLondon yago:WikicatAlumniOfQueenMary,UniversityOfLondon yago:WikicatAlumniOfRoyalHolloway,UniversityOfLondon yago:WikicatFellowsOfTheInstitutionOfEngineeringAndTechnology yago:WikicatFormalMethodsPeople
rdfs:comment	Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts (FRSA) is a computer scientist. Maibaum has a Bachelor of Science (B.Sc.) undergraduate degree in pure mathematics from the University of Toronto, Canada (1970), and a Doctor of Philosophy (Ph.D.) in computer science from Queen Mary and Royal Holloway Colleges, University of London, England (1974). He is a Fellow of the Institution of Engineering and Technology and the Royal Society of Arts. (en)
rdfs:label	Tom Maibaum (en)
owl:sameAs	freebase:Tom Maibaum yago-res:Tom Maibaum http://viaf.org/viaf/110055894 http://d-nb.info/gnd/1056101180 https://dblp.org/pid/m/TSEMaibaum wikidata:Tom Maibaum http://data.bibliotheken.nl/id/thes/p073056782 https://global.dbpedia.org/id/4wVd5
prov:wasDerivedFrom	wikipedia-en:Tom_Maibaum?oldid=1051470634&ns=0
foaf:homepage	http://www.cas.mcmaster.ca/~maibaum
foaf:isPrimaryTopicOf	wikipedia-en:Tom_Maibaum
foaf:name	Tom Maibaum (en)
is dbo:wikiPageDisambiguates of	dbr:Maibaum
is dbo:wikiPageRedirects of	dbr:Maibaum,_Tom
is dbo:wikiPageWikiLink of	dbr:Samson_Abramsky dbr:List_of_alumni_of_Queen_Mary_University_of_London dbr:List_of_computer_scientists dbr:List_of_fellows_of_the_Royal_Society_of_Arts dbr:Department_of_Computing,_Imperial_College_London dbr:List_of_University_of_Toronto_alumni dbr:Indexed_grammar dbr:Indexed_language dbr:Rewriting dbr:Maibaum,_Tom dbr:BCS-FACS dbr:Domain_theory dbr:Dov_Gabbay dbr:Maibaum dbr:IFIP_Working_Group_2.1
is foaf:primaryTopic of	wikipedia-en:Tom_Maibaum