Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

About: Jim Woodcock

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

James Charles Paul Woodcock FREng FBCS CEng CITP is a British computer scientist. Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College. He then joined the University of Kent and is now based at the University of York, where, since October 2012, he has been head of the Department of Computer Science. Prof. Woodcock is editor-in-chief of the Formal Aspects of Computing journal.

Property Value
dbo:abstract
  • جيم ودكوك (بالإنجليزية: Jim Woodcock)‏ هو مهندس وعالم حاسوب بريطاني، ولد في 7 يونيو 1956. (ar)
  • James Charles Paul Woodcock FREng FBCS CEng CITP is a British computer scientist. Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College. He then joined the University of Kent and is now based at the University of York, where, since October 2012, he has been head of the Department of Computer Science. His research interests include: strong software engineering, Grand Challenge in dependable systems evolution, unifying theories of programming, formal specification, refinement, concurrency, state-rich systems, mobile and reconfigurable processes, nanotechnology, Grand Challenge in the railway domain. He has a background in formal methods, especially the Z notation and CSP. Woodcock worked on applying the Z notation to the IBM CICS project, helping to gain a Queen's Award for Technological Achievement, and Mondex, helping to gain the highest ITSEC classification level. Prof. Woodcock is editor-in-chief of the Formal Aspects of Computing journal. (en)
dbo:academicDiscipline
dbo:almaMater
dbo:birthDate
  • 1956-06-07 (xsd:date)
dbo:influenced
dbo:influencedBy
dbo:knownFor
dbo:nationality
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2820814 (xsd:integer)
dbo:wikiPageLength
  • 5108 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1083969222 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:birthDate
  • 1956-06-07 (xsd:date)
dbp:field
dbp:influenced
dbp:influences
dbp:knownFor
dbp:name
  • Jim Woodcock (en)
dbp:nationality
dbp:website
dbp:wikiPageUsesTemplate
dbp:workInstitution
dcterms:subject
gold:hypernym
schema:sameAs
rdf:type
rdfs:comment
  • جيم ودكوك (بالإنجليزية: Jim Woodcock)‏ هو مهندس وعالم حاسوب بريطاني، ولد في 7 يونيو 1956. (ar)
  • James Charles Paul Woodcock FREng FBCS CEng CITP is a British computer scientist. Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College. He then joined the University of Kent and is now based at the University of York, where, since October 2012, he has been head of the Department of Computer Science. Prof. Woodcock is editor-in-chief of the Formal Aspects of Computing journal. (en)
rdfs:label
  • جيم ودكوك (ar)
  • Jim Woodcock (en)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Jim Woodcock (en)
is dbo:editor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:editor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License