Джонс, Клифф (учёный в области информатики)

Клифф Джонс

англ. Cliff Jones

Файл:Cliff Jones Swansea.png

Клифф Джонс в Суонси

Дата рождения

1 июня 1944 года

Гражданство

Великобритания

Клиффорд «Клифф» Б. Джонс (^{[Нет даты!]}) — британский учёный в области информатики, специализирующийся на исследованиях в области формальных методов. Известен своей работой над Vienna Development Method (VDM).

Биография

Джонс получил степень доктора философии в Вычислительной лаборатории Оксфордского университета (ныне Факультет информатики Оксфордского университета) под руководством Тони Хоара в 1981 году. В своей диссертации он предложил расширение логики Хоара для обработки параллельных программ (rely/guarantee).

До получения степени доктора философии Джонс работал в IBM, в лабораториях в Херсли и Вене. В Вене он сотрудничал с Питером Лукасом, Динесом Бьёрнером и другими над Vienna Development Method (VDM), первоначально как методом спецификации формальной семантики языков программирования, а затем для спецификации и верификации программ.

Клифф Джонс был профессором в Манчестерском университете Виктории в 1980-х и начале 1990-х годов, некоторое время работал в промышленности в компании Harlequin, а сейчас является профессором информатики в Ньюкаслском университете. Он был главным редактором журнала Formal Aspects of Computing.

Помимо формальных методов, Джонс также интересуется междисциплинарными аспектами информатики и историей информатики. Является членом Королевской инженерной академии наук Великобритании.

Литература

• Theories of Programming: The Life and Works of Tony Hoare. — New York, NY: Ассоциация вычислительной техники, 2021. — Т. 39. — (ACM Books). — ISBN 978-1-4503-8728-6. — DOI:10.1145/3477355
• Understanding Programming Languages, Jones, C.B. Springer, Cham. Print ISBN 978-3-030-59256-1 / online ISBN 978-3-030-59257-8 (2020).
• Reflections on the Work of C.A.R. Hoare, Roscoe, A.W., Jones, C.B. and Wood, K. (eds.). Springer. ISBN 978-1-84882-911-4 (2010).
• VDM: Une methode rigoureuse pour le development du logiciel, Jones, C.B. Masson, Paris. ISBN 2-225-82812-1 (1993).
• MURAL: A Formal Development Support System, Jones, C.B., Jones, K.D., Lindsay, P.A. and Moore, R. (eds.). Springer-Verlag. ISBN 3-540-19651-X (1991).
• Systematic Software Development using VDM (2nd Edition), Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-880733-7, 1990
• Case Studies in Systematic Software Development, Jones, C.B. and Shaw, R.C.F. (eds.). Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-116088-5 (1989).
• Essays in Computing Science, Hoare, C.A.R. and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-284027-8 (1989).
• Systematic Software Development using VDM, Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-880717-5 (1986).
• Programming Languages and their Definition: Selected Papers of Hans Bekic (1936–1982), Jones, C.B. (editor). Lecture Notes in Computer Science, Volume 177, Springer-Verlag. ISBN 3-540-13378-X (1984).
• Formal Specification and Software Development, Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-329003-4 (1982).
• Software Development: A Rigorous Approach, Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-821884-6 (1980).
• The Vienna Development Method: The Meta-Language, Bjørner, D. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61, Springer-Verlag. ISBN 3-540-08766-4 (1978).

Ссылки

• Домашняя страница

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Джонс, Клифф (учёный в области информатики)», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Джонс,_Клифф_(учёный_в_области_информатики) Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».