Jim Davies is

Professor Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professor ...

Software Engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term ' ...

and current Director of the

Software Engineering Programme Software Engineering Programme is a centre for advanced education and applied research at the Department of Computer Science of the University of Oxford. It teaches the principles of modern software engineering Software engineering is a systema ...

at the

University of Oxford The University of Oxford is a collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the world's second-oldest university in contin ...

England England is a country that is part of the United Kingdom. It shares land borders with Wales to its west and Scotland to its north. The Irish Sea lies northwest and the Celtic Sea to the southwest. It is separated from continental Europe ...

Biography

Jim Davies studied mathematics at

New College, Oxford New College is one of the constituent colleges of the University of Oxford in the United Kingdom. Founded in 1379 by William of Wykeham in conjunction with Winchester College as its feeder school, New College is one of the oldest colleges at ...

, joining the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) in 1986 for a Masters' and Doctorate. After working as a researcher and lecturer in

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

, at

Oxford Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the Un ...

Reading Reading is the process of taking in the sense or meaning of Letter (alphabet), letters, symbols, etc., especially by Visual perception, sight or Somatosensory system, touch. For educators and researchers, reading is a multifaceted process invo ...

, and

Royal Holloway, University of London Royal Holloway, University of London (RHUL), formally incorporated as Royal Holloway and Bedford New College, is a public university, public research university and a constituent college of the federal University of London. It has six schools, ...

, 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 In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

, including

Communicating Sequential Processes In computer science, communicating sequential processes (CSP) 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 ...

(CSP) and the

Z notation The Z notation 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 In 1974, Jean-Raymond Abrial ...

Books

* Jim Davies, ''Specification and Proof in Real Time CSP''.

Cambridge University Press Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer. Cambr ...

, 1993. . * Jim Woodcock and Jim Davies, ''Using Z: Specification, Refinement, and Proof''.

Prentice-Hall Prentice Hall was an American major educational publisher owned by Savvas Learning Company. Prentice Hall publishes print and digital content for the 6–12 and higher-education market, and distributes its technical titles through the Safari B ...

International Series in Computer Science, 1996. . * Jim Davies,

Bill Roscoe Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford. Educa ...

, and Jim Woodcock, ''Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-

Microsoft Microsoft Corporation is an American multinational corporation, multinational technology company, technology corporation producing Software, computer software, consumer electronics, personal computers, and related services headquartered at th ...

Symposium in Honour of Sir

Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...

''.

Palgrave Macmillan Palgrave Macmillan is a British academic and trade publishing company headquartered in the London Borough of Camden. Its programme includes textbooks, journals, monographs, professional and reference works in print and online. It maintains off ...

, Cornerstones of Computing, 2000. .

References

{{DEFAULTSORT:Davies, Jim Year of birth missing (living people) Living people Alumni of New College, Oxford Academics of Royal Holloway, University of London Academics of the University of Reading Members of the Department of Computer Science, University of Oxford Fellows of Kellogg College, Oxford English computer scientists Formal methods people Computer science writers British textbook writers