Jim Davies es profesor de Ingeniería de Software y actual Director del Programa de Ingeniería de Software de la Universidad de Oxford , Inglaterra . [1]
Jim Davies estudió matemáticas en New College, Oxford , y se unió al Laboratorio de Computación de la Universidad de Oxford (ahora Departamento de Ciencias de la Computación de la Universidad de Oxford ) en 1986 para obtener una maestría y un doctorado. [1] Después de trabajar como investigador y profesor de informática en Oxford , Reading y Royal Holloway, Universidad de Londres , se convirtió en profesor de ingeniería de software en Oxford en 1995. [1] Ha dirigido el Programa de Ingeniería de Software desde 2000 y fue nombrado profesor de Ingeniería de Software en 2006. [1]
Davies es un experto en métodos formales , incluida la comunicación de procesos secuenciales (CSP) y la notación Z.