Jim Davies (computer scientist)

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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.