Científico informático británico (nacido en 1944)
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 Departamento de Ciencias de la Computación de la Universidad de Oxford ) con Tony Hoare , otorgado en 1981. La tesis de Jones propuso una extensión de la lógica de Hoare para manejar programas concurrentes, confiar/garantizar. [4]
Antes de su doctorado, Jones trabajó para IBM , entre los laboratorios Hursley y Viena . 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 los años 1980 y principios de los 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 intereses 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:
- Jones, acantilado B.; Misra, Jayadev , eds. (2021). Teorías de la programación: la vida y obra de Tony Hoare . Libros ACM. vol. 39. Nueva York, NY: Asociación de Maquinaria de Computación . doi :10.1145/3477355. ISBN 978-1-4503-8728-6. S2CID 238251696.
- Comprensión de los lenguajes de programación, Jones, CB Springer, Cham . ISBN impreso 978-3-030-59256-1 / ISBN en línea 978-3-030-59257-8 (2020).
- Reflexiones sobre la obra de CAR Hoare , Roscoe, AW , Jones, CB y Wood, K. (eds.). Saltador . 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 formal de apoyo al desarrollo , Jones, CB, Jones, KD, Lindsay, PA y Moore, R. (eds.). Springer-Verlag . ISBN 3-540-19651-X (1991).
- Desarrollo sistemático de software utilizando VDM (segunda edición), Jones, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-880733-7 , 1990
- Estudios de caso sobre desarrollo sistemático de software , Jones, CB y Shaw, RCF (eds.). Serie Internacional de Prentice Hall sobre Ciencias de la Computación, Prentice Hall . ISBN 0-13-116088-5 (1989).
- Ensayos en Ciencias de la Computación , Hoare, CAR y Jones, CB Prentice Hall Serie Internacional en Ciencias de la Computación, Prentice Hall . ISBN 0-13-284027-8 (1989).
- Desarrollo sistemático de software 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). Apuntes de conferencias sobre informática , 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 Serie internacional de Prentice Hall en informática, Prentice Hall . ISBN 0-13-821884-6 (1980).
- El método de desarrollo de Viena: el metalenguaje , Bjørner, D. y Jones, CB (editores). Apuntes de conferencias sobre informática , volumen 61, Springer-Verlag . ISBN 3-540-08766-4 (1978).
Referencias
- ^ Cliff Jones en el Proyecto de genealogía de matemáticas
- ^ "Lista de becarios". Real Academia de Ingeniería . Archivado desde el original el 9 de agosto de 2014.
- ^ "Biografía · Cliff B Jones". Reino Unido: Universidad de Newcastle . Archivado desde el original el 23 de junio de 2015 . Consultado el 18 de diciembre de 2020 .
- ^ Jones, CB (junio de 1981). Métodos de desarrollo de programas informáticos, incluida una noción de interferencia (PDF) (tesis de doctorado). Universidad de Oxford.
- ^ "Investigación · Cliff B Jones". Reino Unido: Universidad de Newcastle . Archivado desde el original el 13 de julio de 2014 . Consultado el 18 de diciembre de 2020 .
- ^ Aspectos formales de la informática. vol. 1. Asociación de Maquinaria de Computación . 1989 . Consultado el 19 de agosto de 2018 .
- ^ Cliff B. Jones en el servidor de bibliografía DBLP
- ^ Cliff B. Jones: Lista de publicaciones Archivado el 12 de marzo de 2012 en Wayback Machine , Scientific Commons .
enlaces externos
- pagina de inicio
- Publicaciones de Cliff Jones indexadas por Google Scholar