John Fitzgerald (computer scientist)
- John Fitzgerald (computer scientist)
John Fitzgerald (born 1965) is a British computer scientist and Chair of Formal Methods Europe. He is a Reader in the School of Computing Science at Newcastle University, UK where he works as a member of the [http://www.csr.ncl.ac.uk/ Centre for Software Reliability] . His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM. He is a committee member of BCS-FACS.
Education
Fitzgerald was born in BelfastFact|date=May 2008, and was educated at Bangor Grammar School and The University of Manchester. He holds the BSc in Computing and Information Systems and the PhD degrees from the [http://www.cs.man.ac.uk/ Department of Computer Science] at Manchester.
Selected books
* Bicarregui, J.C., Fitzgerald, J.S. and Lindsay, P.A. et al., "Proof in VDM: a Practitioner's Guide". Springer Verlag Formal Approaches to Computing and Information Technology (FACIT), 1994. ISBN 3-540-19813-X .
* Fitzgerald, J.S. and Larsen, P.G., "Modelling Systems: Practical Tools and Techniques in Software Engineering". Cambridge University Press, 1998 ISBN 0-521-62348-0 (Japanese Edition pub. Iwanami Shoten 2003 ISBN 4-00-005609-3)
* Fitzgerald, J.S., Larsen, P.G., Mukherjee, P. et al., "Validated Designs for Object-oriented Systems". Springer Verlag 2005. ISBN 1-85233-881-4
See also
Colleagues at Newcastle University:
* Cliff Jones
* Brian Randell
External links
* [http://www.cs.ncl.ac.uk/people/home.php?id=129 Home page]
* [http://www.cs.ncl.ac.uk/research/pubs/authors/byType.php?id=129 Publications]
* [http://www.vdmportal.org/ VDM information]
Wikimedia Foundation.
2010.
Look at other dictionaries:
John Fitzgerald — or John FitzGerald may refer to: Athletes ;American football *John Fitzgerald (American football center), former Dallas Cowboys center *John Fitzgerald (American football quarterback), former quarterback with the af2 s Austin Wranglers * John… … Wikipedia
Pope John Paul II — John Paul II John Paul II in 1993 Papacy began 16 October 1978 Papacy ended 2 April 2005 ( 1000000000000002600000026 years, 1000000 … Wikipedia
List of Newcastle University people — This article is a list of people who spent time at Newcastle University, Newcastle upon Tyne, UK, as either a student or teacher. This is an incomplete list, which may never be able to satisfy particular standards for completeness. You can help… … Wikipedia
United States — a republic in the N Western Hemisphere comprising 48 conterminous states, the District of Columbia, and Alaska in North America, and Hawaii in the N Pacific. 267,954,767; conterminous United States, 3,022,387 sq. mi. (7,827,982 sq. km); with… … Universalium
List of Amherst College people — This is a list of some notable people affiliated with Amherst College.Notable alumniCollege founders and presidents*Edward Jones 1826, Principal of forerunner of Fourah Bay College (the predecessor of the University of Sierra Leone) (Africa)… … Wikipedia
List of Princeton University people — This is a table of notable people affiliated with Princeton University, including graduates of the undergraduate college and all graduate programs, former students, and former professors. Some noted current faculty are also listed in the main… … Wikipedia
List of Yale University people — Yalies are persons affiliated with Yale University, commonly including alumni, current and former faculty members, students, and others. Here follows a list of notable Yalies. Dynamic listNotes: * LL.B. (Legum Baccalaureum) is a graduate degree… … Wikipedia
List of Harvard University people — The list of Harvard University people includes notable graduates, professors and administrators affiliated with Harvard University. For a list of notable non graduates of Harvard, see notable non graduate alumni of Harvard. For a list of Harvard… … Wikipedia
List of people from Michigan — A list of notable people from the U.S. state of Michigan. Bolding indicates places in Michigan. People from Michigan are sometimes referred to as Michiganders, Michiganians, or more rarely as Michiganites. Actors, entertainers and… … Wikipedia
List of The X-Files characters — For Monster of the Week characters, see List of Monster of the Week characters in The X Files. The following is a list of all main and recurring characters (who have appeared three times or more, with a few exceptions) in the American science… … Wikipedia