Вудкок, Джим

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Джим Вудкок

англ. Jim Woodcock


Дата рождения
7 июня 1956 года








Сайт

www.cs.york.ac.uk/people/jim

Джеймс Чарльз Пол Вудкок (англ. James Charles Paul Woodcock; [Нет даты!]) — британский учёный в области компьютерных наук. Известен работами в области формальных методов, в частности Z-нотации, CSP и UTP.

Карьера[править]

Вудкок получил степень доктора философии в Ливерпульском университете. До 2001 года он был профессором программной инженерии в Оксфордском университете, где также являлся научным сотрудником Келлогг-колледжа[1]. Затем он перешёл в Кентский университет, а позже работал в Йоркском университете[2], где с октября 2012 по 2016 год возглавлял факультет компьютерных наук. В 2024 году он вышел на пенсию.

Его научные интересы включают: программную инженерию, эволюцию надёжных систем, унифицированные теории программирования, формальную спецификацию, уточнение, параллельные вычисления, системы с богатым состоянием, мобильные и реконфигурируемые процессы, нанотехнологии, а также применение формальных методов в железнодорожной отрасли. Он имеет опыт работы с формальными методами, в особенности с Z-нотацией[3] и CSP.

Вудкок работал над применением Z-нотации в проекте IBM CICS, что помогло получить Королевскую премию за технологические достижения[4], и в проекте Mondex, что способствовало получению высшего уровня классификации ITSEC[5].

Профессор Вудкок был главным редактором журнала Formal Aspects of Computing с 2007 по 2025 год[6].

В сентябре 2024 года в Йоркском университете состоялся симпозиум Festschrift в честь выхода Вудкока на пенсию[7], по итогам которого был издан сборник трудов[8]. После официального выхода на пенсию из Йоркского университета он продолжил работу в Орхусском университете в Дании[9] и Юго-Западном университете в Китае[10].

Примечания[править]

  1. ↑ Jim Woodcock homepage, Оксфордский университет.
  2. ↑ Official homepage, Йоркский университет, Великобритания.
  3. ↑ Jim Woodcock and Jim Davies, Using Z: Specification, Refinement, and Proof. Prentice-Hall International Series in Computer Science, 1996. ISBN 978-0-13-948472-8
  4. ↑ The Queen’s Award for Technological Achievement 1992 Архивировано из первоисточника 2008-12-02., Оксфордский университет, Великобритания.
  5. ↑ Jim Woodcock, Susan Stepney, David Cooper, John Clark, and Jeremy Jacob, The certification of the Mondex electronic purse to ITSEC Level E6, Formal Aspects of Computing, Volume 20, Number 1, pages 5-19, January 2008.
  6. ↑ Editors. Formal Aspects of Computing. Springer. Архивировано из первоисточника 23 февраля 2020. Проверено 23 февраля 2020.
  7. ↑ Festschrift Symposium for Jim Woodcock. UK: Йоркский университет (2024). Проверено 24 июня 2026.
  8. ↑ The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. — Springer, 2024. — Vol. 14900. — DOI:10.1007/978-3-031-67114-2
  9. ↑ James Woodcock. Denmark: Орхусский университет. Проверено 24 июня 2026.
  10. ↑ Jim Woodcock. IEEE Xplore. IEEE. Проверено 24 июня 2026.

Литература[править]

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

Рувики

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Вудкок, Джим», расположенная по адресу:

—https://ru.ruwiki.ru/wiki/Вудкок,_Джим

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».

Источник — http://cyclowiki.org/w/index.php?title=Вудкок,_Джим&oldid=2680671