Jim Davies (computer scientist)
Encyclopedia
Jim Davies is Professor
of Software Engineering
and current Director of the Software Engineering Programme
at the University of Oxford
, England
.
at New College, Oxford
, joining the Computing Laboratory
in 1986 for a Masters' and Doctorate. After working as a researcher and lecturer in computer science
, at Oxford
, the Reading
, and Royal Holloway, University of London
, he became a lecturer in software engineering at Oxford in 1995. He has led the Software Engineering Programme since 2000, and was made Professor of Software Engineering in 2006.
Davies is an expert in formal methods
, including Communicating Sequential Processes
(CSP) and the Z notation
.
Professor
A professor is a scholarly teacher; the precise meaning of the term varies by country. Literally, professor derives from Latin as a "person who professes" being usually an expert in arts or sciences; a teacher of high rank...
of Software Engineering
Software engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...
and current Director of the Software Engineering Programme
Software Engineering Programme
Software Engineering Programme is a centre for advanced education and applied research at the University of Oxford . It teaches the principles of modern software engineering, together with the tools, methods, and techniques that support their application...
at the University of Oxford
University of Oxford
The University of Oxford is a university located in Oxford, United Kingdom. It is the second-oldest surviving university in the world and the oldest in the English-speaking world. Although its exact date of foundation is unclear, there is evidence of teaching as far back as 1096...
, England
England
England is a country that is part of the United Kingdom. It shares land borders with Scotland to the north and Wales to the west; the Irish Sea is to the north west, the Celtic Sea to the south west, with the North Sea to the east and the English Channel to the south separating it from continental...
.
Biography
Jim Davies studied mathematicsMathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
at New College, Oxford
New College, Oxford
New College is one of the constituent colleges of the University of Oxford in the United Kingdom.- Overview :The College's official name, College of St Mary, is the same as that of the older Oriel College; hence, it has been referred to as the "New College of St Mary", and is now almost always...
, joining the Computing Laboratory
Oxford University Computing Laboratory
The Department of Computer Science, until 2011 named the Computing Laboratory , is a department of Oxford University in England...
in 1986 for a Masters' and Doctorate. After working as a researcher and lecturer in computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
, at Oxford
University of Oxford
The University of Oxford is a university located in Oxford, United Kingdom. It is the second-oldest surviving university in the world and the oldest in the English-speaking world. Although its exact date of foundation is unclear, there is evidence of teaching as far back as 1096...
, the Reading
University of Reading
The University of Reading is a university in the English town of Reading, Berkshire. The University was established in 1892 as University College, Reading and received its Royal Charter in 1926. It is based on several campuses in, and around, the town of Reading.The University has a long tradition...
, and Royal Holloway, University of London
Royal Holloway, University of London
Royal Holloway, University of London is a constituent college of the University of London. The college has three faculties, 18 academic departments, and about 8,000 undergraduate and postgraduate students from over 130 different countries...
, he became a lecturer in software engineering at Oxford in 1995. He has led the Software Engineering Programme since 2000, and was made Professor of Software Engineering in 2006.
Davies is an expert in formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
, including Communicating Sequential Processes
Communicating sequential processes
In computer science, Communicating Sequential Processes is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi...
(CSP) and the Z notation
Z notation
The Z notation , named after Zermelo–Fraenkel set theory, is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.-History:...
.
Books
- Jim Davies, Specification and Proof in Real Time CSP. Cambridge University PressCambridge University PressCambridge University Press is the publishing business of the University of Cambridge. Granted letters patent by Henry VIII in 1534, it is the world's oldest publishing house, and the second largest university press in the world...
, 1993. ISBN 978-0521450553. - Jim WoodcockJim WoodcockProfessor Jim C. P. Woodcock FRSA FBCS FREng 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...
and Jim Davies, Using Z: Specification, Refinement, and Proof. Prentice-Hall International Series in Computer Science, 1996. ISBN 978-0139484728. - Jim Davies, Bill RoscoeBill RoscoeA. William "Bill" Roscoe is a Scottish computer scientist. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science...
, and Jim Woodcock, Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-MicrosoftMicrosoftMicrosoft Corporation is an American public multinational corporation headquartered in Redmond, Washington, USA that develops, manufactures, licenses, and supports a wide range of products and services predominantly related to computing through its various product divisions...
Symposium in Honour of Sir Tony Hoare. Palgrave MacmillanPalgrave MacmillanPalgrave Macmillan is an international academic and trade publishing company, headquartered in Basingstoke, Hampshire, England, United Kingdom and with offices in New York, Melbourne, Sydney, Hong Kong, Delhi, Johannesburg. It was created in 2000 when St...
, Cornerstones of Computing, 2000. ISBN 978-0333922309.