존 피츠제럴드(컴퓨터 과학자)
John Fitzgerald (computer scientist)존 S. 피츠제럴드 FBCS(John S. Fitzgerald FBCS, 1965년 출생)는 영국의 컴퓨터 과학자다.그는 뉴캐슬 대학의 교수다.그는 이 대학 이공계 전략 프로젝트 학장 역할을 맡기 전 컴퓨팅 스쿨의 학장을 지냈다.[1]그의 연구 관심사는 신뢰할 수 있는 컴퓨터 시스템과 공식적인 방법 분야에 있으며, VDM을 기반으로 한다.[2]그는 전 유럽공식기법의 회장이자 BCS-FACS의 위원회 위원이다.
교육
피츠제럴드는 북아일랜드 벨파스트에서 태어나 [citation needed]뱅고르 문법학교와 맨체스터 빅토리아 대학에서 교육을 받았다.그는 맨체스터의 컴퓨터 공학부에서 컴퓨터 정보 시스템 학사 학위와 박사 학위를 받았다.
엄선된 도서
- Bicargui, J.C., Fitzgerald, J.S., Lindsay, P.A. 외, Proof in VDM: 실무자 가이드.Springer-Verlag 컴퓨팅 및 정보 기술(FACIT), 1994. ISBN3-540-19813-X.
- Fitzgerald, J.S.와 Larsen, P.G. 모델링 시스템: 소프트웨어 엔지니어링의 실용적인 도구와 기술케임브리지 대학 출판부, 1998.ISBN 0-521-62348-0. (일본판 펍)2003년 이와나미 쇼텐ISBN 4-005609-3)
- Fitzgerald, J.S., Larsen, P.G., Mukherjee, P. et al., Validated Design for Object-orient Systems.스프링거-베를라크, 2005.ISBN 1-85233-881-4.
참고 항목
뉴캐슬 대학의 동료들:
참조
- ^ "Professor John Fitzgerald". UK: Newcastle University. Retrieved 18 August 2018.
- ^ VDM 포털.
