Jim Davies (computer scientist)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
For other people named Jim Davies, see Jim Davies (disambiguation).

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

Biography[edit]

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]

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

Books[edit]

References[edit]

  1. ^ a b c d "Jim Davies:Oxford University". Retrieved 2009-09-26.