Клифф Джонс (ученый-компьютерщик)
Клифф Джонс | |
|---|---|
 Клифф Джонс в Суонси | |
| Рожденный | 1 июня 1944 г. |
| Национальность | Британский |
| Альма-матер | Оксфордский университет |
| Известный | Венский метод развития |
| Научная карьера | |
| Учреждения | Лаборатория IBM в Вене Манчестерский университет Виктории Университет Ньюкасла |
| Диссертация | Методы разработки компьютерных программ, включая понятие интерференции |
| Докторантура | АВТОМОБИЛЬ Хоар [1] |
| Докторанты | Джон Фицджеральд Тобиас Нипков |
Клиффорд «Клифф» Б. Джонс FREng [2] (родился 1 июня 1944 года) — британский учёный-компьютерщик , специализирующийся на исследованиях формальных методов . [3] В конце концов он получил докторскую степень в вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ) под руководством Тони Хоара , присужденную в 1981 году. В диссертации Джонса предлагалось расширить логику Хоара для обработки параллельных программ, полагаться/гарантировать. [4]
До получения докторской степени Джонс работал в IBM , между лабораториями Херсли и Вены . В Вене Джонс работал с Питером Лукасом , Динесом Бьернером и другими над Венским методом разработки (VDM), первоначально как метод определения формальной семантики языков программирования, а затем для определения и проверки программ. [5]
Клифф Джонс был профессором Манчестерского университета Виктории в 1980-х и начале 1990-х годов, какое-то время работал в промышленности в Арлекине, а сейчас является профессором вычислительной техники в Университете Ньюкасла . Он был главным редактором журнала «Формальные аспекты вычислений» . [6]
Помимо формальных методов, Джонс также интересуется междисциплинарными аспектами информатики и историей информатики . [7] [8]
Книги
[ редактировать ]Джонс является автором и редактором многих книг, в том числе:
- Джонс, Клифф Б.; Мисра, Джаядев , ред. (2021). Теории программирования: жизнь и творчество Тони Хоара . Книги АСМ. Том. 39. Нью-Йорк, штат Нью-Йорк: Ассоциация вычислительной техники . дои : 10.1145/3477355 . ISBN 978-1-4503-8728-6 . S2CID 238251696 .
- Понимание языков программирования, Джонс, С.Б. Спрингер, Чам . Распечатать ISBN 978-3-030-59256-1 / онлайн ISBN 978-3-030-59257-8 (2020).
- Размышления о работе К.А.Р. Хоара , Роско А.В. , Джонса С.Б. и Вуда К. (ред.). Спрингер . ISBN 978-1-84882-911-4 (2010).
- VDM: Строгий метод разработки программного обеспечения , Джонс, С.Б. Массон, Париж . ISBN 2-225-82812-1 (1993).
- MURAL: Формальная система поддержки развития , Джонс, С.Б., Джонс, К.Д., Линдси, П.А. и Мур, Р. (ред.). Спрингер-Верлаг . ISBN 3-540-19651-X (1991).
- Систематическая разработка программного обеспечения с использованием VDM (2-е издание), Джонс, Международная серия CB Prentice Hall по информатике, Prentice Hall . ISBN 0-13-880733-7 , 1990 г.
- Тематические исследования в систематической разработке программного обеспечения , Джонс, CB и Шоу, RCF (ред.). Международная серия Прентис Холл по информатике, Прентис Холл . ISBN 0-13-116088-5 (1989).
- Очерки по информатике , Хоар, КАР и Джонс, Международная серия CB Prentice Hall по информатике, Prentice Hall . ISBN 0-13-284027-8 (1989).
- Систематическая разработка программного обеспечения с использованием VDM , Джонс, CB Prentice Hall, Международная серия по информатике, Prentice Hall . ISBN 0-13-880717-5 (1986).
- Языки программирования и их определение: Избранные статьи Ханса Бекича (1936–1982) , Джонса, CB (редактор). Конспекты лекций по информатике , том 177, Springer-Verlag . ISBN 3-540-13378-X (1984).
- Формальная спецификация и разработка программного обеспечения , Бьорнер, Д. и Джонс, CB Prentice Hall, Международная серия по информатике, 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).
Ссылки
[ редактировать ]- ^ Клифф Джонс в проекте «Математическая генеалогия»
- ^ «Список коллег» . Королевская инженерная академия . Архивировано из оригинала 9 августа 2014 года.
- ^ «Био · Клифф Би Джонс» . Великобритания: Университет Ньюкасла . Архивировано из оригинала 23 июня 2015 года . Проверено 18 декабря 2020 г.
- ^ Джонс, CB (июнь 1981 г.). Методы разработки компьютерных программ, включая понятие интерференции (PDF) (докторская диссертация). Оксфордский университет.
- ^ «Исследование · Клифф Б. Джонс» . Великобритания: Университет Ньюкасла . Архивировано из оригинала 13 июля 2014 года . Проверено 18 декабря 2020 г.
- ^ Формальные аспекты вычислений . Том. 1. Ассоциация вычислительной техники . 1989 год . Проверено 19 августа 2018 г.
- ^ Клифф Б. Джонс на DBLP библиографическом сервере
- ^ Клифф Б. Джонс: список публикаций , заархивировано 12 марта 2012 г. в Wayback Machine , Scientific Commons .
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации Клиффа Джонса , индексируемые Google Scholar
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1944 года рождения
- Живые люди
- Выпускники Вольфсон-колледжа, Оксфорд
- Члены кафедры компьютерных наук Оксфордского университета
- сотрудники IBM
- Академики Манчестерского университета Виктории
- Академики Университета Ньюкасла
- Писатели по информатике
- Редакторы британских академических журналов
- английские ученые-компьютерщики
- Формальные методы люди
- Члены Британского компьютерного общества
- 1995 г. Члены Ассоциации вычислительной техники.
- Стипендиаты Института инженерии и технологий
- Члены Королевской инженерной академии