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

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

Образование

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

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

^ «Профессор Джон Фицджеральд» . Великобритания: Университет Ньюкасла . Архивировано из оригинала 15 марта 2018 года . Проверено 18 августа 2018 г.
^ Портал ВДМ .

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Германия Израиль Соединенные Штаты Латвия Япония Чешская Республика Нидерланды
академики	ДБЛП Google Академика ОРЦИД Скопус
Другой	ИдРеф