John Fitzgerald (informatyk)

John S. Fitzgerald FBCS (ur. 1965) to brytyjski informatyk . Jest profesorem na Uniwersytecie w Newcastle . Był kierownikiem Szkoły Informatyki, zanim objął funkcję Dziekana ds. Projektów Strategicznych na Wydziale Nauk Rolniczych i Inżynieryjnych tej uczelni. Jego zainteresowania badawcze dotyczą niezawodnych systemów komputerowych i metod formalnych , z doświadczeniem w VDM . Jest byłym przewodniczącym Formal Methods Europe i członkiem komitetu BCS-FACS .

Edukacja

Fitzgerald urodził się w Belfaście w Irlandii Północnej [ potrzebne źródło i ] kształcił się w Bangor Grammar School i Victoria University of Manchester . Posiada tytuł licencjata w dziedzinie informatyki i systemów informacyjnych oraz stopień doktora uzyskany na Wydziale Informatyki w Manchesterze.

Wybrane książki

  •   Bicarregui, JC, Fitzgerald, JS i Lindsay, PA i in., Dowód w VDM: przewodnik dla praktyków . Springer-Verlag Formalne podejście do informatyki i technologii informacyjnej (FACIT), 1994. ISBN 3-540-19813-X .
  •     Fitzgerald, JS i Larsen, PG, Systemy modelowania: praktyczne narzędzia i techniki w inżynierii oprogramowania . Cambridge University Press , 1998. ISBN 0-521-62348-0 . (wydanie japońskie. Iwanami Shoten , 2003. ISBN 4-00-005609-3 ).
  •   Fitzgerald, JS, Larsen, PG, Mukherjee, P. i in., Zatwierdzone projekty systemów obiektowych . Springer-Verlag , 2005. ISBN 1-85233-881-4 .

Zobacz też

Koledzy z Newcastle University :

Linki zewnętrzne