About: David May (computer scientist)

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

British computer scientist

Property	Value
dbo:almaMater	dbr:University_of_Cambridge
dbo:birthDate	1951-02-24 (xsd:date)
dbo:description	United Kingdom karimba ŋun nyɛ doo (dag) British computer scientist (en) دانشمند علوم کامپیوتر و مهندس بریتانیایی (fa) informático teórico del Reino Unido (es) ríomheolaí Briotanach (ga) 영국 컴퓨터 과학자 (ko) استاذ جامعة من المملكه المتحده (arz) Brits informaticus (nl) informaticien britannique (fr) britischer Informatiker und Universitätsprofessor (de)
dbo:institution	dbr:University_of_Bristol
dbo:knownFor	dbr:Parallel_computing dbr:Occam_(programming_language) dbr:Processor_design dbr:Transputer
dbo:wikiPageExternalLink	https://www.cs.bris.ac.uk/~dave/
dbo:wikiPageWikiLink	dbc:Living_people dbr:Iann_Barron dbr:Bristol dbr:Fellow_of_the_Royal_Society dbr:King's_College,_Cambridge dbr:Microprocessor dbr:Robotics dbr:University_of_Cambridge dbr:University_of_Warwick dbr:Serial_communication dbr:Single-board_computer dbr:Program_transformation dbr:University_of_Bristol dbr:Computer_architecture dbr:Computer_scientist dbr:Formal_verification dbr:Model_checking dbr:University_of_Southampton dbr:Microcomputer dbr:Fellow dbr:Institute_of_Physics dbr:Royal_Academy_of_Engineering dbr:Queen_Elizabeth_Grammar_School,_Wakefield dbr:Programming_Research_Group dbr:Clifford_Paterson_Medal_and_Prize dbr:Chief_technology_officer dbr:Honorary_doctorate dbr:Occam_(programming_language) dbr:Tony_Hoare dbr:Transputer dbr:Inmos dbr:Holmfirth dbr:Department_of_Computer_Science,_University_of_Bristol dbr:XMOS dbc:1951_births dbc:Academics_of_the_University_of_Bristol dbc:Alumni_of_King's_College,_Cambridge dbc:Alumni_of_the_University_of_Warwick dbc:Fellows_of_the_Royal_Society dbc:British_computer_scientists dbc:Chief_technology_officers dbc:Computer_hardware_engineers dbc:Fellows_of_the_Royal_Academy_of_Engineering dbr:STC104 dbc:Formal_methods_people dbc:Computer_designers dbr:Packet_switch dbc:People_educated_at_Queen_Elizabeth_Grammar_School,_Wakefield dbc:History_of_computing_in_the_United_Kingdom dbr:Communicating_Sequential_Processes dbr:VLSI dbr:Oxford_University dbr:The_Royal_Society dbr:University_of_Cambridge_Computer_Laboratory dbr:Concurrent_programming_language dbr:Multi-processing dbr:Floating_point_unit dbr:Moore's_Law dbr:Picochip dbr:Simple_42
dbp:almaMater	dbr:University_of_Cambridge
dbp:awards	FRS (en) Patterson Medal (en) FREng (en)
dbp:birthDate	1951-02-24 (xsd:date)
dbp:honorificPrefix	dbr:Professor
dbp:knownFor	dbr:Parallel_computing dbr:Processor_design Transputer (en) Occam (en)
dbp:name	David May (en)
dbp:nationality	British (en)
dbp:website	https://www.cs.bris.ac.uk/~dave/
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Birth_date_and_age dbt:Cn dbt:Cquote dbt:EngvarB dbt:Infobox_scientist dbt:Main dbt:Postnominals dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:FRS_1991
dbp:workplaces	dbr:University_of_Bristol
dct:subject	dbc:Living_people dbc:1951_births dbc:Academics_of_the_University_of_Bristol dbc:Alumni_of_King's_College,_Cambridge dbc:Alumni_of_the_University_of_Warwick dbc:Fellows_of_the_Royal_Society dbc:British_computer_scientists dbc:British_chief_technology_officers dbc:Computer_hardware_engineers dbc:Fellows_of_the_Royal_Academy_of_Engineering dbc:Formal_methods_people dbc:Computer_designers dbc:People_educated_at_Queen_Elizabeth_Grammar_School,_Wakefield dbc:British_technology_company_founders dbc:History_of_computing_in_the_United_Kingdom
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/170334308
rdf:type	owl:Thing foaf:Person dbo:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Animal dbo:Eukaryote dbo:Eukaryote dbo:Scientist dbo:Scientist dbo:Scientist dbo:Species dbo:Species schema:Person
rdfs:label	David May (computer scientist) (en) David May (ca) David May (Informatiker) (de) ديفيد ماي (ar)
owl:sameAs	http://viaf.org/viaf/170334308 freebase:David May (computer scientist) yago-res:David May (computer scientist) wikidata:David May (computer scientist) dbpedia-de:David May (computer scientist) dbpedia-ca:David May (computer scientist) http://d-nb.info/gnd/1226788440 https://dblp.org/pid/m/DavidMay http://viaf.org/viaf/3127161332353052420008 http://data.bibliotheken.nl/id/thes/p074939637 dbpedia-ar:David May (computer scientist) dbpedia-arz:David May (computer scientist) dbpedia-mg:David May (computer scientist) dbpedia-global:David May (computer scientist)
prov:wasDerivedFrom	wikipedia-en:David_May_(computer_scientist)?oldid=1301427864&ns=0
foaf:homepage	https://www.cs.bris.ac.uk/~dave/ https://www.cs.bris.ac.uk/~dave/
foaf:isPrimaryTopicOf	wikipedia-en:David_May_(computer_scientist)
foaf:name	David May (en)
is dbo:designer of	dbr:Occam_(programming_language)__occam__1
is dbo:wikiPageDisambiguates of	dbr:David_May
is dbo:wikiPageRedirects of	dbr:Michael_David_May
is dbo:wikiPageWikiLink of	dbr:List_of_programming_language_researchers dbr:List_of_University_of_Bristol_people dbr:University_of_Bristol dbr:Queen_Elizabeth_Grammar_School,_Wakefield dbr:Occam_(programming_language) dbr:Transputer dbr:Inmos dbr:Wirth's_law dbr:Department_of_Computer_Science,_University_of_Bristol dbr:David_May dbr:List_of_fellows_of_the_Royal_Society_M,_N,_O dbr:XMOS dbr:Algorithmic_efficiency dbr:Timeline_of_programming_languages dbr:The_Big_Four:_Live_from_Sofia,_Bulgaria dbr:Michael_David_May
is dbp:designer of	dbr:Occam_(programming_language)
is foaf:primaryTopic of	wikipedia-en:David_May_(computer_scientist)