Jim Woodcock とは

教授ジェームズチャールズポールウッドコックFREG FBCS CEng CITPは英国のコンピュータ科学者です。
ウッドコックはリバプール大学から博士号を取得しました。 2001年までオックスフォード大学コンピューティング研究所のソフトウェアエンジニアリング教授を務め、ケロッグ大学のフェローでもあった。その後、ケント大学に入学し、現在ヨーク大学に勤務しています。ヨーク大学では、2012年10月からコンピュータサイエンス学部の所長を務めています。
彼の研究分野には、強力なソフトウェアエンジニアリング、信頼できるシステムの進化におけるグランドチャレンジ、プログラミングの理論、正式な仕様、洗練、同時実行性、国家の豊かなシステム、モバイルと再構成可能なプロセス、ナノテクノロジー、鉄道分野のグランドチャレンジなどがあります。彼は正式な方法、特にZ記法とCSPの背景を持っています。
ウッドコックは、IBM CICSプロジェクトにZ表記を適用し、技術成果の女王賞を獲得するのに役立ち、Mondexは最高のITSEC分類レベルを獲得するのを助けました。