This HTML5 document contains 145 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n24http://www.cas.mcmaster.ca/
dctermshttp://purl.org/dc/terms/
n20https://web.archive.org/web/20060630172739/http:/www.dcs.kcl.ac.uk/staff/tom/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n23https://global.dbpedia.org/id/
n26https://dblp.org/pid/m/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n22http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
n17http://viaf.org/viaf/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n25http://data.bibliotheken.nl/id/thes/
n14http://d-nb.info/gnd/

Statements

Subject Item
dbr:Tom_Maibaum
rdf:type
yago:WikicatAlumniOfRoyalHolloway,UniversityOfLondon yago:Colleague109935990 dbo:Animal yago:LivingThing100004258 wikidata:Q19088 yago:WikicatAlumniOfQueenMary,UniversityOfLondon dbo:Species yago:Wikicat20th-centuryHungarianPeople schema:Person dbo:Scientist yago:WikicatAcademicsOfKing'sCollegeLondon yago:Scholar110557854 yago:Whole100003553 yago:WikicatAcademicsOfImperialCollegeLondon foaf:Person yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Peer109626238 wikidata:Q901 yago:PhysicalEntity100001930 yago:WikicatLivingPeople yago:Associate109816771 yago:Person100007846 yago:Organism100004475 wikidata:Q729 yago:WikicatHungarianComputerScientists owl:Thing yago:Intellectual109621545 yago:Professional110480253 yago:Scientist110560637 yago:CausalAgent100007347 yago:Adult109605289 wikidata:Q5 yago:WikicatFormalMethodsPeople yago:Object100002684 dbo:Eukaryote dbo:Person yago:Educator110045713 yago:Academician109759069 yago:Alumnus109786338 n22:NaturalPerson yago:WikicatFellowsOfTheInstitutionOfEngineeringAndTechnology wikidata:Q215627
rdfs:label
Tom Maibaum
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.
foaf:name
Tom Maibaum
foaf:homepage
n24:~maibaum
dbp:name
Tom Maibaum
dcterms:subject
dbc:Academics_of_King's_College_London dbc:McMaster_University_faculty dbc:Year_of_birth_missing_(living_people) dbc:Hungarian_computer_scientists dbc:20th-century_Hungarian_people dbc:Fellows_of_the_Institution_of_Engineering_and_Technology dbc:Academics_of_Imperial_College_London dbc:Formal_methods_people dbc:Hungarian_expatriates_in_Canada dbc:Living_people dbc:Alumni_of_Queen_Mary_University_of_London dbc:Alumni_of_Royal_Holloway,_University_of_London dbc:University_of_Toronto_alumni dbc:Hungarian_expatriates_in_the_United_Kingdom
dbo:wikiPageID
5450650
dbo:wikiPageRevisionID
1051470634
dbo:wikiPageWikiLink
dbr:Fellow_(learned_society) dbr:Imperial_College,_London dbc:Academics_of_King's_College_London dbr:King's_College_London dbr:ALGOL_68 dbc:Year_of_birth_missing_(living_people) dbc:Hungarian_computer_scientists dbc:McMaster_University_faculty dbr:Doctor_of_Philosophy dbr:Pure_mathematics dbr:IFIP_Working_Group_2.1 dbr:Bachelor_of_Science dbr:ALGOL_60 dbr:International_standard dbc:20th-century_Hungarian_people dbr:Royal_Holloway,_University_of_London dbc:Fellows_of_the_Institution_of_Engineering_and_Technology dbr:University_of_London dbr:International_Federation_for_Information_Processing dbr:Programming_language dbr:Computer_scientist dbc:Formal_methods_people dbc:Academics_of_Imperial_College_London dbr:McMaster_University dbr:Queen_Mary_University_of_London dbr:Computer_science dbr:Royal_Society_of_Arts dbr:England dbc:Hungarian_expatriates_in_Canada dbr:Fellow_of_the_Royal_Society_of_Arts dbc:Living_people dbr:Specification_(technical_standard) dbc:Alumni_of_Queen_Mary_University_of_London dbr:Institution_of_Engineering_and_Technology dbr:University_of_Toronto dbr:Software_engineering dbc:Hungarian_expatriates_in_the_United_Kingdom dbc:University_of_Toronto_alumni dbr:Specification dbc:Alumni_of_Royal_Holloway,_University_of_London
dbo:wikiPageExternalLink
n20:
owl:sameAs
freebase:m.0dmg2s n14:1056101180 n17:110055894 yago-res:Tom_Maibaum wikidata:Q7816687 n23:4wVd5 n25:p073056782 n26:TSEMaibaum
dbp:workplaces
dbr:Imperial_College,_London dbr:King's_College_London dbr:McMaster_University
dbp:wikiPageUsesTemplate
dbt:GoogleScholar dbt:Official_website dbt:URL dbt:AcademicSearch dbt:DBLP dbt:Infobox_scientist dbt:Reflist dbt:ALGOL_programming dbt:Mathgenealogy dbt:Authority_control
dbp:awards
dbr:Fellow_of_the_Royal_Society_of_Arts
dbp:education
dbr:Doctor_of_Philosophy dbr:University_of_Toronto dbr:University_of_London dbr:Bachelor_of_Science
dbp:fields
dbr:Computer_science
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.
dbo:institution
dbr:Imperial_College,_London dbr:McMaster_University dbr:King's_College_London
gold:hypernym
dbr:Maibaum
schema:sameAs
n17:110055894
prov:wasDerivedFrom
wikipedia-en:Tom_Maibaum?oldid=1051470634&ns=0
dbo:wikiPageLength
5383
dbo:academicDiscipline
dbr:Computer_science
dbo:award
dbr:Fellow_of_the_Royal_Society_of_Arts
foaf:isPrimaryTopicOf
wikipedia-en:Tom_Maibaum