Cliff Jones (počítačový vědec) - Cliff Jones (computer scientist)
Cliff Jones | |
|---|---|
| narozený | 1. června 1944 |
| Národnost | britský |
| Alma mater | University of Oxford |
| Známý jako | Vídeňská rozvojová metoda |
| Vědecká kariéra | |
| Instituce | Victoria University of Manchester Newcastle University |
| Teze | Metody vývoje počítačových programů zahrnující pojem interference |
| Doktorský poradce | C. A. R. Hoare[1] |
| Doktorandi | John Fitzgerald Tobias Nipkow |
Clifford "Cliff" B. Jones (narozen 1. června 1944) je a britský počítačový vědec, se specializací na výzkum formální metody.[2] Zavázal se pozdě DPhil na Oxfordské univerzitní výpočetní laboratoři (nyní Oxford University Department of Computer Science ) pod Tony Hoare, udělen v roce 1981. Také pracoval s Večeře Bjørner a další na internetu Vídeňská rozvojová metoda (VDM) ve společnosti IBM Laboratory Vienna.
Cliff Jones byl profesor na Victoria University of Manchester v 80. a na počátku 90. let pracoval určitou dobu v průmyslu na Harlequinu a nyní je profesorem výpočetní vědy na Newcastle University. Byl Šéfredaktor z Formální aspekty práce na počítači časopis.[3]
Kromě formálních metod má Jones také zájmy mezioborové aspekty počítačové vědy a historie informatiky.[4][5]
Vyhrál Medaile a cena Katharine Burr Blodgett v roce 2017.
Knihy
Jones je autorem a editoval mnoho knih:[6]
- Úvahy o práci C.A.R. Hoare, Roscoe, A.W., Jones, C. B. a Wood, K. (eds.). Springer. ISBN 978-1-84882-911-4 (2010).
- VDM: Une methode rigoureuse pour le development du logicielJones, C.B. Masson, Paříž. ISBN 2-225-82812-1 (1993).
- MURAL: Systém podpory formálního rozvoje, Jones, C.B., Jones, K.D., Lindsay, P.A. a Moore, R. (eds.). Springer-Verlag. ISBN 3-540-19651-X (1991).
- Systematický vývoj softwaru pomocí VDM (2. vydání), Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-880733-7, 1990
- Případové studie systematického vývoje softwaru, Jones, C.B. a Shaw, R.C.F. (eds.). Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-116088-5 (1989).
- Eseje o počítačové vědě, Hoare, C.A.R. a Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-284027-8 (1989).
- Systematický vývoj softwaru pomocí VDM, Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-880717-5 (1986).
- Programovací jazyky a jejich definice: Vybrané statě Hanse Bekica (1936–1982), Jones, C.B. (editor). Přednášky z informatiky, Svazek 177, Springer-Verlag. ISBN 3-540-13378-X (1984).
- Formální specifikace a vývoj softwaruBjørner, D. a Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-329003-4 (1982).
- Vývoj softwaru: přísný přístup, Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-821884-6 (1980).
- Vídeňská rozvojová metoda: metajazyk, Bjørner, D. a Jones, C.B. (redaktoři). Přednášky z informatiky, Svazek 61, Springer-Verlag. ISBN 3-540-08766-4 (1978).
Reference
- ^ Cliff Jones na Matematický genealogický projekt
- ^ "Prof Cliff B Jones". SPOJENÉ KRÁLOVSTVÍ: Newcastle University. Citováno 18. srpna 2018.
- ^ Formální aspekty práce na počítači. 1. Sdružení pro výpočetní techniku. 1989. Citováno 19. srpna 2018.
- ^ Cliff B.Jones v DBLP Bibliografický server
- ^ Cliff B. Jones: Seznam publikací, Scientific Commons.
- ^ Knihy ›„ Cliff B. Jones “, Amazon.co.uk.
