Clifford Cliff B.
Jones FREng (nacido el 1 de junio de 1944) es un informático británico, especializado en la investigación de métodos formales. Realizó una tesis doctoral tardía en el Laboratorio de Informática de la Universidad de Oxford (ahora Departamento de Informática de la Universidad de Oxford) bajo la dirección de Tony Hoare, concedida en 1981. La tesis de Jones propuso una extensión de la lógica de Hoare para manejar programas concurrentes, rely/guarantee.
Cliff Jones | ||
---|---|---|
Información personal | ||
Nacimiento | 1 de junio de 1944 | (79 años)|
Nacionalidad | Británica | |
Educación | ||
Educado en |
| |
Supervisor doctoral | C. A. R. Hoare | |
Información profesional | ||
Ocupación | Informático teórico, ingeniero y periodista | |
Empleador |
| |
Miembro de | Association for Computing Machinery | |
Distinciones |
| |
Antes de 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 método para especificar la semántica formal de los lenguajes de programación, y posteriormente para especificar y verificar programas.
Cliff Jones fue profesor en la Universidad Victoria de Manchester en los años 80 y principios de los 90, trabajó en la industria en Harlequin durante un tiempo y ahora es profesor de Ciencias de la Computación en la Universidad de Newcastle. Ha sido redactor jefe de la revista Formal Aspects of Computing.
Además de los métodos formales, Jones también se interesa por los aspectos interdisciplinarios de la informática y la historia de la informática.
Jones es autor y editor de muchos libros, entre ellos:
This article uses material from the Wikipedia Español article Cliff Jones (informático), which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). El contenido está disponible bajo la licencia CC BY-SA 4.0, salvo que se indique lo contrario. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Español (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.