Clifford "Cliff" B. Jones FREng [2] (nacido el 1 de junio de 1944) es un informático británico , especializado en la investigación de métodos formales . [3] Realizó un doctorado tardío en el Laboratorio de Computación de la Universidad de Oxford (ahora el Departamento de Ciencias de la Computación de la Universidad de Oxford ) bajo Tony Hoare , otorgado en 1981. La tesis de Jones propuso una extensión a la lógica de Hoare para manejar programas concurrentes, confiar / garantizar. [4]
Cliff Jones | |
---|---|
Nació | 1 de junio de 1944 |
Nacionalidad | británico |
alma mater | Universidad de Oxford |
Conocido por | Método de desarrollo de Viena |
Carrera científica | |
Instituciones | Laboratorio IBM Viena Victoria Universidad de Manchester Universidad de Newcastle |
Tesis | Métodos de desarrollo para programas informáticos que incluyen una noción de interferencia |
Asesor de doctorado | COCHE Hoare [1] |
Estudiantes de doctorado | John Fitzgerald Tobias Nipkow |
Antes de su DPhil, Jones trabajó para IBM , entre los Laboratorios Hursley y Vienna . En Viena, Jones trabajó con Peter Lucas , Dines Bjørner y otros en el Método de Desarrollo de Viena (VDM), originalmente como un método para especificar la semántica formal de los lenguajes de programación y, posteriormente, para especificar y verificar programas. [5]
Cliff Jones fue profesor en la Universidad Victoria de Manchester en la década de 1980 y principios de la de 1990, trabajó en la industria en Harlequin durante un período y ahora es profesor de Ciencias de la Computación en la Universidad de Newcastle . Ha sido editor en jefe de la revista Formal Aspects of Computing . [6]
Además de los métodos formales, Jones también tiene interés en los aspectos interdisciplinarios de la informática y la historia de la informática . [7] [8]
Libros
Jones es autor y editor de muchos libros, entre ellos:
- Comprensión de los lenguajes de programación, Jones, CB Springer, Cham . Imprimir ISBN 978-3-030-59256-1 / en línea ISBN 978-3-030-59257-8 (2020).
- Reflexiones sobre el trabajo de CAR Hoare , Roscoe, AW , Jones, CB y Wood, K. (eds.). Springer . ISBN 978-1-84882-911-4 (2010).
- VDM: Une methode rigoureuse pour le development du logiciel , Jones, CB Masson, París . ISBN 2-225-82812-1 (1993).
- MURAL: Un sistema de apoyo al desarrollo formal , Jones, CB, Jones, KD, Lindsay, PA y Moore, R. (eds.). Springer-Verlag . ISBN 3-540-19651-X (1991).
- Desarrollo de software sistemático utilizando VDM (2ª edición), Jones, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-880733-7 , 1990
- Estudios de caso en desarrollo sistemático de software , Jones, CB y Shaw, RCF (eds.). Prentice Hall International Series en Ciencias de la Computación, Prentice Hall . ISBN 0-13-116088-5 (1989).
- Ensayos en Ciencias de la Computación , Hoare, CAR y Jones, Serie Internacional CB Prentice Hall en Ciencias de la Computación, Prentice Hall . ISBN 0-13-284027-8 (1989).
- Desarrollo de software sistemático utilizando VDM , Jones, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-880717-5 (1986).
- Lenguajes de programación y su definición: artículos seleccionados de Hans Bekic (1936-1982) , Jones, CB (editor). Notas de la conferencia en Ciencias de la Computación , Volumen 177, Springer-Verlag . ISBN 3-540-13378-X (1984).
- Especificación formal y desarrollo de software , Bjørner, D. y Jones, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-329003-4 (1982).
- Desarrollo de software: un enfoque riguroso , Jones, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-821884-6 (1980).
- El método de desarrollo de Viena: el metalenguaje, Bjørner, D. y Jones, CB (editores). Notas de la conferencia en Ciencias de la Computación , Volumen 61, Springer-Verlag . ISBN 3-540-08766-4 (1978).
Referencias
- ^ Cliff Jones en el Proyecto de genealogía matemática
- ^ "Lista de becarios" . Real Academia de Ingeniería .
- ^ "Bio · Cliff B Jones" . Reino Unido: Universidad de Newcastle . Consultado el 18 de diciembre de 2020 .
- ^ Jones, CB (junio de 1981). Métodos de desarrollo para programas informáticos que incluyen una noción de interferencia (PDF) (tesis de DPhil). Universidad de Oxford.
- ^ "Investigación · Cliff B Jones" . Reino Unido: Universidad de Newcastle . Consultado el 18 de diciembre de 2020 .
- ^ Aspectos formales de la informática . 1 . Asociación de Maquinaria Informática . 1989 . Consultado el 19 de agosto de 2018 .
- ^ Cliff B. Jones en elservidor de bibliografía DBLP
- ^ Cliff B. Jones: Lista de publicaciones , Scientific Commons .
enlaces externos
- Página de inicio
- Publicaciones de Cliff Jones indexadas por Google Scholar