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 ) con Tony Hoare , otorgado en 1981. La tesis de Jones proponía una extensión a la lógica de Hoare para manejar programas concurrentes, confiar / garantizar. [4]
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]