About: Tim Denvir

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

British software engineer

Property	Value
dbo:academicDiscipline	dbr:Computer_science
dbo:almaMater	dbr:Trinity_College,_Cambridge dbr:University_of_Cambridge
dbo:award	dbr:Standard_Telecommunication_Laboratories
dbo:citizenship	dbr:United_Kingdom
dbo:description	Brits softwareingenieur (nl) British software engineer (en) inxenieru de software británicu (ast)
dbo:knownFor	dbr:Software_engineering dbr:Formal_methods
dbo:wikiPageExternalLink	https://www.smc.org.uk/hills/compleators https://www.smc.org.uk/hills/completionist/4855 https://www.linkedin.com/in/tim-denvir-8294632a
dbo:wikiPageWikiLink	dbc:Living_people dbr:London dbr:Mathematics dbr:United_Kingdom dbr:Computer_science dbr:LinkedIn dbr:Operating_system dbr:Trinity_College,_Cambridge dbr:Project_management dbr:Formal_Aspects_of_Computing dbr:University_of_London dbr:Software_engineer dbr:Software_engineering dbr:Macmillan_Publishers dbr:Denotational_semantics dbr:Texas_Instruments dbr:Electronic_circuit dbr:Vienna_Development_Method dbr:Formal_methods dbr:Project_manager dbr:Scottish_Mountaineering_Club dbr:ALGOL_60 dbr:City,_University_of_London dbr:Mainframe_computer dbr:Lecture_Notes_in_Computer_Science dbr:Editorial_board dbr:ICL_2900_Series dbr:International_Computers_Limited dbr:Carl_Adam_Petri dbc:Academics_of_Brunel_University_London dbc:Academics_of_City,_University_of_London dbc:Alumni_of_Trinity_College,_Cambridge dbr:Department_of_Trade_and_Industry_(United_Kingdom) dbr:Device_driver dbr:BCS-FACS dbr:Elliott_Brothers_(computer_company) dbr:BSI_Group dbr:Standard_Telecommunication_Laboratories dbr:Altran_Praxis dbc:British_software_engineers dbc:1939_births dbc:Formal_methods_people dbc:International_Computers_Limited_people dbr:Systems_programmer dbr:FACS_FACTS dbr:Brunel_University dbr:Springer-Verlag dbr:Cliff_B._Jones dbr:Atlas_computer dbr:Compiler_design dbr:Robin_Whitty dbr:VDM_Europe
dbp:almaMater	dbr:Trinity_College,_Cambridge dbr:University_of_Cambridge
dbp:birthDate	1939 (xsd:integer)
dbp:citizenship	dbr:United_Kingdom
dbp:field	dbr:Computer_science
dbp:knownFor	dbr:Software_engineering dbr:Formal_methods
dbp:name	B. Tim Denvir (en)
dbp:prizes	STL Creativity Award (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:DBLP dbt:Doi dbt:ISBN dbt:Infobox_scientist dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:LinkedIn_page
dbp:workInstitution	dbr:Brunel_University_of_London dbr:University_of_London dbr:Texas_Instruments dbr:City,_University_of_London dbr:International_Computers_Limited dbr:Elliott_Brothers_(computer_company) dbr:Standard_Telecommunication_Laboratories dbr:Altran_Praxis
dct:subject	dbc:Living_people dbc:Academics_of_Brunel_University_London dbc:Academics_of_City,_University_of_London dbc:Alumni_of_Trinity_College,_Cambridge dbc:British_software_engineers dbc:1939_births dbc:Formal_methods_people dbc:International_Computers_Limited_people
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	Tim Denvir (en)
owl:sameAs	wikidata:Tim Denvir http://d-nb.info/gnd/1036966631 https://dblp.org/pid/27/7 http://viaf.org/viaf/61800557 http://data.bibliotheken.nl/id/thes/p072527617 dbpedia-global:Tim Denvir
prov:wasDerivedFrom	wikipedia-en:Tim_Denvir?oldid=1310197622&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Tim_Denvir
foaf:name	B. Tim Denvir (en)
is dbo:keyPerson of	dbr:BCS-FACS
is dbo:wikiPageDisambiguates of	dbr:Denvir
is dbo:wikiPageRedirects of	dbr:B._Tim_Denvir
is dbo:wikiPageWikiLink of	dbr:BCS-FACS dbr:Denvir dbr:B._Tim_Denvir
is dbp:keyPeople of	dbr:BCS-FACS
is foaf:primaryTopic of	wikipedia-en:Tim_Denvir