About: David May (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:Transputer
dbo:wikiPageExternalLink	https://www.cs.bris.ac.uk/~dave/
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Simple_42 dbr:University_of_Bristol dbr:Microprocessor dbc:Academics_of_the_University_of_Bristol dbc:British_computer_scientists dbc:Computer_hardware_engineers dbr:Robotics dbr:Microcomputer dbr:University_of_Cambridge dbr:Department_of_Computer_Science,_University_of_Bristol dbr:Tony_Hoare dbr:Serial_communication dbr:University_of_Warwick dbr:King's_College,_Cambridge dbr:University_of_Southampton dbc:1951_births dbc:Fellows_of_the_Royal_Academy_of_Engineering dbc:Fellows_of_the_Royal_Society dbc:Living_people dbr:Packet_switch dbr:Honorary_doctorate dbr:Occam_(programming_language) dbr:Fellow dbr:Program_transformation dbr:Programming_Research_Group dbc:Alumni_of_King's_College,_Cambridge dbc:Alumni_of_the_University_of_Warwick dbc:Computer_designers dbc:Formal_methods_people dbc:History_of_computing_in_the_United_Kingdom dbr:Clifford_Paterson_Medal_and_Prize dbr:Computer_scientist dbc:Chief_technology_officers dbr:Royal_Academy_of_Engineering dbr:XMOS dbr:Inmos dbr:Chief_technology_officer dbr:Computer_architecture dbr:Formal_verification dbr:Institute_of_Physics dbr:Transputer dbr:Bristol dbc:People_educated_at_Queen_Elizabeth_Grammar_School,_Wakefield dbr:Single-board_computer dbr:Fellow_of_the_Royal_Society dbr:Oxford_University dbr:Holmfirth dbr:Iann_Barron dbr:VLSI dbr:Queen_Elizabeth_Grammar_School,_Wakefield dbr:STC104 dbr:Communicating_Sequential_Processes dbr:University_of_Cambridge_Computer_Laboratory dbr:Concurrent_programming_language dbr:The_Royal_Society dbr:Moore's_Law dbr:Multi-processing dbr:Floating_point_unit dbr:Picochip
dbp:almaMater	dbr:University_of_Cambridge
dbp:awards	FRS (en) FREng (en) Patterson Medal (en)
dbp:birthDate	1951-02-24 (xsd:date)
dbp:honorificPrefix	dbr:Professor
dbp:knownFor	Transputer (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:Main dbt:Reflist dbt:Infobox_scientist dbt:Birth_date_and_age dbt:Cquote dbt:Use_dmy_dates dbt:FRS_1991 dbt:Cn dbt:Postnominals dbt:EngvarB dbt:Short_description
dbp:workplaces	dbr:University_of_Bristol
dct:subject	dbc:Academics_of_the_University_of_Bristol dbc:British_computer_scientists dbc:Computer_hardware_engineers dbc:1951_births dbc:Fellows_of_the_Royal_Academy_of_Engineering dbc:Fellows_of_the_Royal_Society dbc:Living_people dbc:Alumni_of_King's_College,_Cambridge dbc:Alumni_of_the_University_of_Warwick dbc:Computer_designers dbc:Formal_methods_people dbc:History_of_computing_in_the_United_Kingdom dbc:British_chief_technology_officers dbc:People_educated_at_Queen_Elizabeth_Grammar_School,_Wakefield
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/170334308
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Eukaryote dbo:Species schema:Person
rdfs:label	David May (computer scientist) (en) ديفيد ماي (ar) David May (ca) David May (Informatiker) (de)
owl:sameAs	yago-res:David May (computer scientist) http://viaf.org/viaf/170334308 freebase: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 dbpedia-ar:David May (computer scientist) dbpedia-arz:David May (computer scientist) dbpedia-mg:David May (computer scientist) http://data.bibliotheken.nl/id/thes/p074939637 dbpedia-global:David May (computer scientist)
prov:wasDerivedFrom	wikipedia-en:David_May_(computer_scientist)?oldid=1296011723&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:University_of_Bristol dbr:Department_of_Computer_Science,_University_of_Bristol dbr:The_Big_Four:_Live_from_Sofia,_Bulgaria dbr:Occam_(programming_language) dbr:Algorithmic_efficiency dbr:Timeline_of_programming_languages dbr:XMOS dbr:Inmos dbr:Transputer dbr:Wirth's_law dbr:List_of_fellows_of_the_Royal_Society_M,_N,_O dbr:List_of_programming_language_researchers dbr:David_May dbr:List_of_University_of_Bristol_people dbr:Queen_Elizabeth_Grammar_School,_Wakefield dbr:Michael_David_May
is dbp:designer of	dbr:Occam_(programming_language)
is foaf:primaryTopic of	wikipedia-en:David_May_(computer_scientist)