Джон Фицджеральд (ученый-компьютерщик) - John Fitzgerald (computer scientist)

Джон С. Фицджеральд FBCS (1965 г.р.) - британец специалист в области информатики. Он является главой вычислительной школы и профессором Ньюкаслский университет в Великобритания.^[1] Его исследовательские интересы лежат в области надежный Компьютерные системы и формальные методы, с фоном в VDM.^[2] Он бывший председатель Формальные методы Европа и член комитета BCS-FACS.

Образование

Фицджеральд родился в Белфаст, Северная Ирландия,^{[нужна цитата ]} и получил образование в Бангорская гимназия и Университет Виктории в Манчестере. Он держит Бакалавр в вычислительных и информационных системах и кандидат наук степени от факультета компьютерных наук в Манчестере.

Bicarregui, J.C., Fitzgerald, J.S. и Линдси, П.А. и другие., Доказательство в VDM: Руководство для практикующего. Springer-Verlag Формальные подходы к вычислениям и информационным технологиям (FACIT), 1994. ISBN 3-540-19813-Х.
Фитцджеральд, Дж. и Ларсен, П.Г., Системы моделирования: практические инструменты и методы разработки программного обеспечения. Издательство Кембриджского университета, 1998. ISBN 0-521-62348-0. (Японское издание паб. Иванами Шотен, 2003. ISBN 4-00-005609-3.)
Фитцджеральд, Дж. С., Ларсен, П. Г., Мукерджи, П. и др., Проверенные проекты для объектно-ориентированных систем. Springer-Verlag, 2005. ISBN 1-85233-881-4.