ジム・ウッドコック

ジェームズ・チャールズ・ポール・ウッドコックはイギリスのコンピュータ科学者である。

ウッドコックはリバプール大学で博士号を取得した。2001年まで、オックスフォード大学コンピューティング研究所のソフトウェア工学教授を務め、ケロッグ・カレッジのフェローでもあった。^{[ 1 ]}その後、ケント大学に移り、後にヨーク大学に拠点を置いた。^[ 2 ^{] 2012}年10月から2016年まで、ヨーク大学のコンピュータ科学科長を務め、2024年に退職した。

彼の研究分野は、強力なソフトウェアエンジニアリング、信頼性の高いシステム進化におけるグランドチャレンジ、プログラミングの統一理論、形式仕様、洗練、並行性、状態豊富なシステム、モバイルおよび再構成可能なプロセス、ナノテクノロジー、鉄道分野におけるグランドチャレンジなどです。彼は形式手法、特にZ記法^{[ 3 ]}とCSPのバックグラウンドを持っています。

ウッドコックは、 IBM CICSプロジェクトにZ表記法を適用する作業に取り組み、技術功績に対する女王賞の受賞に貢献した^{[ 4 ]。}また、Mondexプロジェクトにも携わり、 ITSEC分類の最高レベルの取得に貢献した^{[ 5 ] 。}

ウッドコック教授は、2007年から2025年までFormal Aspects of Computing誌の編集長を務めた。 ^{[ 6 ]}

2024年9月、ヨーク大学でウッドコックの退職を記念する記念シンポジウムが開催され^{[ 7 ]}、関連する議事録も出版された^{[ 8 ]} 。ヨーク大学を正式に退職した後も、デンマークのオーフス大学^{[ 9 ]}と中国の西南大学^{[ 10 ]}で研究を続けた。

• ジム・ウッドコック、ジム・デイヴィス著『Z言語の使用：仕様、改良、証明』プレンティス・ホール国際コンピュータ科学シリーズ、1996年。ISBN 978-0-13-948472-8。
• ジム・ウッドコック、マーティン・ルーメス著『ソフトウェア工学数学：形式手法の解明』Kindle版、テイラー＆フランシス、2007年。

• 公式ホームページ
• 個人ホームページ
• 研究プロフィール
• ジム・ウッドコックの出版物（ Google Scholarに索引付けされているもの）
• DBLP文献情報サーバーのジム・ウッドコック