Jim Davies es profesor de Ingeniería de Software y actual Director del Programa de Ingeniería de Software en la Universidad de Oxford , Inglaterra . [1]
Jim Davies estudió matemáticas en el New College de Oxford y en 1986 se incorporó al Laboratorio de Computación de la Universidad de Oxford (actualmente el Departamento de Ciencias de la Computación de la Universidad de Oxford ) para realizar 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 , incluidos los procesos secuenciales de comunicación (CSP) y la notación Z.