Клифф Джонс (ученый-компьютерщик)

Клиффорд «Клифф» Б. Джонс ФРЕнг ^[2] (родился 1 июня 1944 г.) - британский ученый-компьютерщик , специализирующийся на исследованиях формальных методов . ^[3] Он провел поздно DPhil в вычислительной лаборатории Оксфордского университета (ныне Оксфордского университета факультета компьютерных наук ) под Тони Хоара , присужденной в 1981 году тезис Джонса предложил расширение к логике Хоара для обработки параллельных программ, полагаться / гарантия. ^[4]

До получения степени доктора философии Джонс работал в IBM между Hursley и Vienna Laboratories. В Вене Джонс работал с Питером Лукасом , Динесом Бьёрнером и другими над Венским методом разработки (VDM), первоначально как методом для определения формальной семантики языков программирования, а затем для определения и проверки программ. ^[5]

Клифф Джонс был профессором Университета Виктории в Манчестере в 1980-х и начале 1990-х годов, какое-то время работал в сфере промышленности в Harlequin, а сейчас является профессором компьютерных наук в Университете Ньюкасла . Он был главным редактором журнала « Формальные аспекты вычислительной техники» . ^[6]

Помимо формальных методов, Джонс также интересуется междисциплинарными аспектами информатики и историей информатики . ^{[7] [8]}

Книги [ править ]

Джонс является автором и редактором множества книг, в том числе:

• Понимание языков программирования, Jones, CB Springer, Cham . Печатный ISBN  978-3-030-59256-1 / онлайн ISBN 978-3-030-59257-8 (2020). 
• Размышления о работе К.А. Хора , Роско, А.В. , Джонса, С.Б. и Вуда, К. (ред.). Springer . ISBN 978-1-84882-911-4 (2010). 
• VDM: Une method rigoureuse pour le development du logiciel , Jones, CB Masson, Paris . ISBN 2-225-82812-1 (1993). 
• MURAL: A Formal Development Support System , Jones, CB, Jones, KD, Lindsay, PA и Moore, R. (ред.). Springer-Verlag . ISBN 3-540-19651-X (1991). 
• Систематическая разработка программного обеспечения с использованием VDM (2-е издание), Jones, CB Prentice Hall International Series в области компьютерных наук, Prentice Hall . ISBN 0-13-880733-7 , 1990 
• Примеры систематической разработки программного обеспечения , Джонс, CB и Шоу, RCF (ред.). Международная серия Prentice Hall по компьютерным наукам, Prentice Hall . ISBN 0-13-116088-5 (1989). 
• Essays in Computing Science , Hoare, CAR and Jones, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-284027-8 (1989). 
• Систематическая разработка программного обеспечения с использованием VDM , Jones, CB Prentice Hall International Series в области компьютерных наук, Prentice Hall . ISBN 0-13-880717-5 (1986). 
• Языки программирования и их определение: Избранные статьи Ханса Бекича (1936–1982) , Джонса, CB (редактор). Конспект лекций по информатике , том 177, Springer-Verlag . ISBN 3-540-13378-X (1984). 
• Формальная спецификация и разработка программного обеспечения , Бьёрнер, Д. и Джонс, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-329003-4 (1982). 
• Разработка программного обеспечения: строгий подход , Джонс, Международная серия CB Prentice Hall по компьютерным наукам, Prentice Hall . ISBN 0-13-821884-6 (1980). 
• Венский метод развития: метаязык , Бьёрнер, Д. и Джонс, CB (редакторы). Конспект лекций по информатике , том 61, Springer-Verlag . ISBN 3-540-08766-4 (1978). 

Ссылки [ править ]

Внешние ссылки [ править ]

• Домашняя страница
• Публикации Клиффа Джонса, проиндексированные Google Scholar