Вудкок, Джим

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

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

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

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

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