Jim Woodcock - CaLiGraph

Property	Value
rdf:type	Academic of the University of Kent British textbook writer owl:NamedIndividual 1956 birth Academic journal editor Alumnus of the University of Liverpool Computer science writer Fellow of the Royal Academy of Engineering Fellow of the Royal Society of Arts Living person Member of the Department of Computer Science, University of Oxford University of Oxford people in academic disciplines Academic of the University of York Fellow of Kellogg College, Oxford British computer scientist Fellow of the British Computer Society
rdfs:label	Jim Woodcock
owl:sameAs	dbr:Jim_Woodcock
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_York http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Kent http://en.wikipedia.org/wiki/Category:1956_births http://en.wikipedia.org/wiki/Category:Computer_science_writers http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Academy_of_Engineering http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford http://en.wikipedia.org/wiki/List_of_University_of_Oxford_people_in_academic_disciplines http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Category:British_textbook_writers http://en.wikipedia.org/wiki/Category:Academic_journal_editors http://en.wikipedia.org/wiki/Category:Academic_journal_editors_by_field http://en.wikipedia.org/wiki/Category:Academic_journal_editors_by_journal http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Liverpool http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_of_Arts http://en.wikipedia.org/wiki/University_of_Liverpool http://en.wikipedia.org/wiki/Category:Fellows_of_Kellogg_College,_Oxford http://en.wikipedia.org/wiki/Category:British_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_British_Computer_Society http://en.wikipedia.org/wiki/Woodcock_(surname)
skos:prefLabel	Jim Woodcock
clgo:academicDiscipline	Computer science Formal methods
clgo:almaMater	University of Liverpool
clgo:award	BCS, The Chartered Institute for IT
clgo:birthDate	1956-06-07
clgo:birthYear	1956
clgo:influenced	Jim Davies (computer scientist)
clgo:influencedBy	Tony Hoare
clgo:knownFor	Z notation Unifying Theories of Programming Communicating sequential processes
clgo:nationality	United Kingdom
clgo:type	Learned society
is clgo:editor of	Formal Aspects of Computing

About: clgr:Jim_Woodcock