Cliff Jones (científico informático)

Clifford "Cliff" B. Jones ^{[ 2 ]} (nacido el 1 de junio de 1944) es un científico informático británico , especializado en investigación sobre métodos formales . ^{[ 3 ]} Realizó un doctorado en el Laboratorio de Computación de la Universidad de Oxford (ahora Departamento de Ciencias de la Computación de la Universidad de Oxford ) bajo la dirección de Tony Hoare , obteniendo el título en 1981. La tesis de Jones propuso una extensión de la lógica de Hoare para el manejo de programas concurrentes, rely/guarantee. ^{[ 4 ]}

Antes de obtener su doctorado, Jones trabajó para IBM , entre los laboratorios de 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 las décadas de 1980 y principios de 1990, trabajó en la industria en Harlequin durante un tiempo y actualmente es profesor de Ciencias de la Computación en la Universidad de Newcastle . Ha sido editor 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 ]}

Jones ha escrito y editado numerosos libros, entre ellos:

• Jones, Cliff B.; Misra, Jayadev , eds. (2021). Teorías de la programación: La vida y obra de Tony Hoare . ACM Books. Vol.  39. Nueva York, NY: Association for Computing Machinery . 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-1ISBN en línea 978-3-030-59257-8(2020).
• Reflexiones sobre la obra 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 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 mediante VDM (2.ª edición), Jones, CB. Serie internacional de informática de Prentice Hall , 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 in Computer Science, Prentice Hall . ISBN 0-13-116088-5(1989).
• Ensayos en Ciencias de la Computación , Hoare, CAR y Jones, CB. Serie Internacional de Ciencias de la Computación de Prentice Hall, Prentice Hall . ISBN 0-13-284027-8(1989).
• Desarrollo sistemático de software mediante VDM , Jones, CB. Serie internacional de informática de Prentice Hall, Prentice Hall . ISBN 0-13-880717-5(1986).
• Lenguajes de programación y su definición: Artículos seleccionados de Hans Bekic (1936–1982) , editado por Jones, CB. Lecture Notes in Computer Science , volumen 177, Springer-Verlag . ISBN 3-540-13378-X(1984).
• Especificación formal y desarrollo de software , Bjørner, D. y Jones, CB. Serie internacional de informática de Prentice Hall, Prentice Hall . ISBN 0-13-329003-4(1982).
• Desarrollo de software: un enfoque riguroso , Jones, CB. Serie internacional de informática de Prentice Hall, Prentice Hall . ISBN 0-13-821884-6(1980).
• El método de desarrollo de Viena: El metalenguaje , Bjørner, D. y Jones, CB (editores). Lecture Notes in Computer Science , Volumen 61, Springer-Verlag . ISBN 3-540-08766-4(1978).

• Página principal
• Publicaciones de Cliff Jones indexadas por Google Académico