Cliff Jones (computer scientist)
http://dbpedia.org/resource/Cliff_Jones_(computer_scientist) an entity of type: Thing
Clifford "Cliff" B. Jones FREng (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee. As well as formal methods, Jones also has interests in interdisciplinary aspects of computer science and the history of computer science.
rdf:langString
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 ) 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. 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.
rdf:langString
rdf:langString
Cliff Jones (informático)
rdf:langString
Cliff Jones (computer scientist)
rdf:langString
Cliff Jones
rdf:langString
Cliff Jones
xsd:date
1944-06-01
xsd:integer
2570173
xsd:integer
1089458345
rdf:langString
Development Methods for Computer Programs Including a Notion of Interference
xsd:date
1944-06-01
rdf:langString
Clifford "Cliff" B. Jones FREng (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee. Prior to his DPhil, Jones worked for IBM, between the Hursley and Vienna Laboratories. In Vienna, Jones worked with Peter Lucas, Dines Bjørner and others on the Vienna Development Method (VDM), originally as a method for specifying the formal semantics of programming languages, and subsequently for specifying and verifying programs. Cliff Jones was a professor at the Victoria University of Manchester in the 1980s and early 1990s, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He has been editor-in-chief of the Formal Aspects of Computing journal. As well as formal methods, Jones also has interests in interdisciplinary aspects of computer science and the history of computer science.
rdf:langString
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 ) 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. Antes de su doctorado, Jones trabajó para IBM, entre los laboratorios de Hursley y Viena. En Viena, Jones trabajó con Peter Lucas, 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 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 . 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.
xsd:nonNegativeInteger
7700