Cliff Jones (informático)

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

1. Cliff Jones en el Proyecto de genealogía de matemáticas
2. "Lista de becarios". Real Academia de Ingeniería . Archivado desde el original el 9 de agosto de 2014.
3. "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 .
4. 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.
5. "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 .
6. Aspectos formales de la informática. vol. 1. Asociación de Maquinaria de Computación . 1989 . Consultado el 19 de agosto de 2018 .
7. Cliff B. Jones en el servidor de bibliografía DBLP
8. 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