Jim Davies (informatyk)

W przypadku innych osób o imieniu Jim Davies zobacz Jim Davies (ujednoznacznienie) .

Jim Davies jest profesorem inżynierii oprogramowania i obecnym dyrektorem programu inżynierii oprogramowania na Uniwersytecie Oksfordzkim w Anglii .

Biografia

Jim Davies studiował matematykę w New College w Oksfordzie , dołączając do Laboratorium Komputerowego Uniwersytetu Oksfordzkiego (obecnie Wydział Informatyki Uniwersytetu Oksfordzkiego ) w 1986 roku, aby uzyskać tytuł magistra i doktorat. Po pracy jako naukowiec i wykładowca informatyki w Oksfordzie , Reading i Royal Holloway na Uniwersytecie Londyńskim , w 1995 roku został wykładowcą inżynierii oprogramowania w Oksfordzie. Od 2000 roku kieruje Programem Inżynierii Oprogramowania i został mianowany profesorem Inżynierii Oprogramowania w 2006 roku.

Davies jest ekspertem w zakresie metod formalnych , w tym komunikowania się procesów sekwencyjnych ( CSP) i notacji Z.

Książki

•   Jim Davies, Specyfikacja i dowód w CSP w czasie rzeczywistym . Cambridge University Press , 1993. ISBN 978-0-521-45055-3 .
•   Jim Woodcock i Jim Davies, Korzystanie Z: specyfikacja, udoskonalenie i dowód . Prentice-Hall International Series in Computer Science, 1996. ISBN 978-0-13-948472-8 .
•   Jim Davies, Bill Roscoe i Jim Woodcock, Millennial Perspectives in Computer Science: Proceedings of 1999 Oxford- Microsoft Symposium in Honor of Sir Tony Hoare . Palgrave Macmillan , Kamienie węgielne informatyki, 2000. ISBN 978-0-333-92230-9 .