About: Jim Woodcock

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

British computer scientist

Property	Value
dbo:academicDiscipline	dbr:Computer_science dbr:Formal_methods
dbo:almaMater	dbr:University_of_Liverpool
dbo:birthDate	1956-06-07 (xsd:date)
dbo:description	British computer scientist (en) Brits informaticus (nl)
dbo:knownFor	dbr:Communicating_sequential_processes dbr:Z_notation dbr:Unifying_Theories_of_Programming
dbo:nationality	dbr:United_Kingdom
dbo:wikiPageExternalLink	https://www.cs.york.ac.uk/people/jim https://pure.york.ac.uk/portal/en/researchers/james-charles-paul-woodcock(c9e521d6-3c93-4564-bf38-eec7ab1c4ea7).html https://www.amazon.com/Software-Engineering-Mathematics-Demystified-ebook/dp/B000UYWKYA http://www-users.cs.york.ac.uk/~jim/
dbo:wikiPageWikiLink	dbr:Refinement_(computing) dbr:Taylor_&_Francis dbr:ITSEC dbc:Living_people dbr:United_Kingdom dbr:Computer_science dbr:Formal_Aspects_of_Computing dbc:Computer_science_writers dbr:IBM dbr:University_of_Liverpool dbr:University_of_Oxford dbr:Computer_scientist dbr:Nanotechnology dbr:Software_engineering dbr:University_of_York dbr:Reconfigurable_computing dbr:Formal_specification dbr:Formal_methods dbr:University_of_Kent dbr:Concurrency_(computer_science) dbr:Editor-in-chief dbr:Kellogg_College,_Oxford dbr:Dependability dbr:Tony_Hoare dbr:Z_notation dbr:Unifying_Theories_of_Programming dbr:Mobile_computing dbc:Academic_journal_editors dbc:Academics_of_the_University_of_Kent dbc:Academics_of_the_University_of_York dbc:Alumni_of_the_University_of_Liverpool dbr:Mondex dbr:CICS dbc:1956_births dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbc:British_computer_scientists dbc:British_textbook_writers dbr:Jim_Davies_(computer_scientist) dbc:Fellows_of_Kellogg_College,_Oxford dbc:Fellows_of_the_British_Computer_Society dbc:Fellows_of_the_Royal_Academy_of_Engineering dbc:Formal_methods_people dbr:Communicating_Sequential_Processes dbr:PhD dbr:Oxford_University_Computing_Laboratory dbr:Prentice-Hall dbr:Queen's_Award_for_Technological_Achievement dbr:Unifying_theories_of_programming
dbp:almaMater	dbr:University_of_Liverpool
dbp:birthDate	1956-06-07 (xsd:date)
dbp:field	dbr:Computer_science dbr:Formal_methods
dbp:knownFor	dbr:Communicating_sequential_processes dbr:Z_notation dbr:Unifying_Theories_of_Programming
dbp:name	Jim Woodcock (en)
dbp:nationality	dbr:United_Kingdom
dbp:website	https://www.cs.york.ac.uk/people/jim
dbp:wikiPageUsesTemplate	dbt:Compu-scientist-stub dbt:GoogleScholar dbt:Authority_control dbt:Birth_date_and_age dbt:DBLP dbt:ISBN dbt:Infobox_scientist dbt:Reflist dbt:Short_description dbt:Use_British_English dbt:Use_dmy_dates dbt:UK-compu-bio-stub
dbp:workInstitution	dbr:Aarhus_University dbr:University_of_Oxford dbr:University_of_York dbr:University_of_Kent dbr:Southwest_University
dct:subject	dbc:Living_people dbc:Computer_science_writers dbc:Academics_of_the_University_of_Kent dbc:Alumni_of_the_University_of_Liverpool dbc:1956_births dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbc:British_computer_scientists dbc:Academic_staff_of_the_Southwest_University dbc:British_textbook_writers dbc:Fellows_of_Kellogg_College,_Oxford dbc:Fellows_of_the_British_Computer_Society dbc:Fellows_of_the_Royal_Academy_of_Engineering dbc:Academic_staff_of_Aarhus_University dbc:Formal_methods_people dbc:Computer_scientists_of_the_University_of_York dbc:British_academic_journal_editors
gold:hypernym	dbr:Woodcock
schema:sameAs	http://viaf.org/viaf/145747617
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	Jim Woodcock (en) جيم ودكوك (ar)
owl:sameAs	yago-res:Jim Woodcock freebase:Jim Woodcock http://viaf.org/viaf/145747617 http://www4.wiwiss.fu-berlin.de/dblp/resource/person/106422 https://orcid.org/0000-0001-7955-2702 wikidata:Jim Woodcock http://d-nb.info/gnd/12840387X https://dblp.org/pid/w/JWoodcock http://data.bibliotheken.nl/id/thes/p107915936 http://data.bibliotheken.nl/id/thes/p17236793X dbpedia-ar:Jim Woodcock dbpedia-global:Jim Woodcock
prov:wasDerivedFrom	wikipedia-en:Jim_Woodcock?oldid=1311938058&ns=0
foaf:homepage	https://www.cs.york.ac.uk/people/jim https://www.cs.york.ac.uk/people/jim
foaf:isPrimaryTopicOf	wikipedia-en:Jim_Woodcock
foaf:name	Jim Woodcock (en)
is dbo:editor of	dbr:Formal_Aspects_of_Computing
is dbo:wikiPageRedirects of	dbr:J._C._P._Woodcock
is dbo:wikiPageWikiLink of	dbr:List_of_people_from_the_University_of_Oxford_in_academic_disciplines dbr:Formal_Aspects_of_Computing dbr:University_of_Liverpool dbr:Unifying_Theories_of_Programming dbr:List_of_fellows_of_the_Royal_Society_of_Arts dbr:Jim_Davies_(computer_scientist) dbr:Synthetic_data dbr:Woodcock_(surname) dbr:IFIP_Working_Group_2.3 dbr:J._C._P._Woodcock
is dbp:editor of	dbr:Formal_Aspects_of_Computing
is foaf:primaryTopic of	wikipedia-en:Jim_Woodcock