ジョン・フィッツジェラルド（コンピューター科学者）

ジョン・S・フィッツジェラルド FBCS（1965年生まれ）はイギリスのコンピュータ科学者です。ニューカッスル大学の教授です。大学の理学・農学・工学部の戦略プロジェクト学部長に就任する前は、コンピューティング学部の学部長を務めていました。^{[1]彼の研究対象は、}VDMのバックグラウンドを持つ、信頼できるコンピュータシステムと形式手法の分野です。^[2]彼は、Formal Methods Europeの元会長であり、 BCS-FACSの委員でもあります。

教育

フィッツジェラルドは北アイルランドのベルファストで生まれ、^[^要出典^]、バンガー・グラマー・スクールとマンチェスター・ヴィクトリア大学で教育を受けました。マンチェスター大学コンピューターサイエンス学部でコンピューティングと情報システムの学士号と博士号を取得しています。

Bicarregui, JC、Fitzgerald, JS、 Lindsay , PA 他「VDM の証明: 実践者向けガイド」Springer-Verlag Formal Approaches to Computing and Information Technology (FACIT)、1994 年。ISBN 3-540-19813-X。
Fitzgerald, JS および Larsen, PG, Modelling Systems : Practical Tools and Techniques in Software Engineering . Cambridge University Press , 1998. ISBN 0-521-62348-0 . (日本語版は岩波書店より2003年発行。ISBN 4-00-005609-3 .)
Fitzgerald, JS, Larsen, PG, Mukherjee, P. 他著『オブジェクト指向システムの検証済み設計』Springer-Verlag、2005年。ISBN 1-85233-881-4。

^ “Professor John Fitzgerald”. 英国: Newcastle University . 2018年3月15日時点のオリジナルよりアーカイブ。2018年8月18日閲覧。
^ VDMポータル。