Jim Davies (computer scientist)

Last updated

Jim Davies is Professor of Software Engineering and current Director of the Software Engineering Programme at the University of Oxford, England. [1]

Professor academic rank at universities and other post-secondary education and research institutions in most countries

Professor 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" being usually an expert in arts or sciences, a teacher of the highest rank.

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. The current Director of Software Engineering Programme is Professor Jim Davies

University of Oxford University in Oxford, United Kingdom

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 continuous operation. It grew rapidly from 1167 when Henry II banned English students from attending the University of Paris. After disputes between students and Oxford townsfolk in 1209, some academics fled north-east to Cambridge where they established what became the University of Cambridge. The two 'ancient universities' are frequently jointly called 'Oxbridge'. The history and influence of the University of Oxford has made it one of the most prestigious universities in the world.

Contents

Biography

Jim Davies studied mathematics at New College, Oxford, joining the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) in 1986 for a Masters' and Doctorate. [1] After working as a researcher and lecturer in computer science, at Oxford, Reading, and Royal Holloway, University of London, he became a lecturer in software engineering at Oxford in 1995. [1] He has led the Software Engineering Programme since 2000, and was made Professor of Software Engineering in 2006. [1]

Mathematics Field of study concerning quantity, patterns and change

Mathematics includes the study of such topics as quantity, structure, space, and change.

New College, Oxford constituent college of the University of Oxford in the United Kingdom

New College is one of the constituent colleges of the University of Oxford in the United Kingdom. Founded in 1379 by William of Wykeham, the full name of the college is St Mary's College of Winchester in Oxford. The name "New College", however, soon came to be used following its completion in 1386 to distinguish it from the older existing college of St. Mary, now known as Oriel College.

Computer science Study of the theoretical foundations of information and computation

Computer science is the study of processes that interact with data and that can be represented as data in the form of programs. It enables the use of algorithms to manipulate, store, and communicate digital information. A computer scientist studies the theory of computation and the practice of designing software systems.

Davies is an expert in formal methods, including Communicating Sequential Processes (CSP) and the Z notation.

In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based technique 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 expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.

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.

Books

Cambridge University Press (CUP) is the publishing business of the University of Cambridge. Granted letters patent by King Henry VIII in 1534, it is the world's oldest publishing house and the second-largest university press in the world. It also holds letters patent as the Queen's Printer.

International Standard Book Number Unique numeric book identifier

The International Standard Book Number (ISBN) is a numeric commercial book identifier which is intended to be unique. Publishers purchase ISBNs from an affiliate of the International ISBN Agency.

Related Research Articles

Tony Hoare British computer scientist

Sir Charles Antony Richard Hoare, is a British computer scientist. He developed the sorting algorithm quicksort in 1959/1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes and the inspiration for the occam programming language.

Jonathan Bowen Computer scientist, information technologist

Jonathan P. Bowen FBCS FRSA is a British computer scientist.

The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software. It was originally developed in the 1980s by Jean-Raymond Abrial in France and the UK. B is related to the Z notation and supports development of programming language code from specifications. B has been used in major safety-critical system applications in Europe. It has robust, commercially available tool support for specification, design, proof and code generation.

Jean-Raymond Abrial is a French computer scientist and inventor of the Z and B formal methods.

In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.

Clifford "Cliff" B. Jones is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981. He also worked with Dines Bjørner and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna.

Dines Bjørner computer scientist

Professor Dines Bjørner is a Danish computer scientist.

Zhou Chaochen is a Chinese computer scientist.

Professor James Charles Paul Woodcock FREng FBCS CEng CITP is a British computer scientist.

He Jifeng is a Chinese computer scientist.

Michael Butler (computer scientist) computer scientist

Michael J. Butler is Professor of Computer Science at the University of Southampton, England.

Johannes Aldert "Jan" Bergstra is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.

Jeannette Wing American computer scientist

Jeannette Marie Wing is Avanessians Director of the Data Sciences Institute at Columbia University, where she is also a professor of computer science. Until June 30, 2017, she was Corporate Vice President of Microsoft Research with oversight of its core research laboratories around the world and Microsoft Research Connections. Prior to 2013, she was the President's Professor of Computer Science at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States. She also served as assistant director for Computer and Information Science and Engineering at the NSF from 2007 to 2010.

Professor Andrew Martin is a British computer scientist, Deputy Director and lecturer in Software Engineering Programme at the University of Oxford, England. He is a member of the Oxford University Department of Computer Science. He is the director of Oxford University's Centre for Doctoral Training in Cyber Security.

Charles Carroll Morgan is an American computer scientist who moved to Australia in his early teens. He completed his education there, including a PhD degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s. In 2000, he returned to Australia.

Jeremy Gibbons British computer scientist

Jeremy Gibbons is a Computer Scientist and Professor of Computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College and Pro-Proctor of the University of Oxford.

Martin Wirsing is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany.

Prof. Steve Schneider FBCS, CITP is an English computer scientist and Professor of Security. He is Director of the Surrey Centre for Cyber Security and Associate Dean at the University of Surrey.

References

  1. 1 2 3 4 "Jim Davies:Oxford University" . Retrieved 2009-09-26.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.