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

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

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

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

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

Книги

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

• Понимание языков программирования, 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 and Moore, R. (eds.). Springer-Verlag . ISBN   3-540-19651-X (1991).
• Систематическая разработка программного обеспечения с использованием VDM (2-е издание), Jones, CB Prentice Hall International Series in Computer Science, 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