John Fitzgerald (computer scientist)
Encyclopedia
John S. Fitzgerald 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
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
.
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 Department of Computer Science at Manchester.
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
and Chair of Formal Methods Europe
Formal Methods Europe
Formal Methods Europe is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems. The association's members are drawn from academia and industry. It is based in Europe, but is international in...
. He is a Reader in the School of Computing Science at Newcastle University, UK
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
, where he works as a member of the
Centre for Software Reliability
Centre for Software Reliability
The Centre for Software Reliability is a distributed British organisation concerned with software reliability, including safety-critical issues. It consists of two sister organisations based at Newcastle University, UK...
. His research interests are in the area of dependable
Dependability
Dependability is a value showing the reliability of a person to others because of his/her integrity, truthfulness, and trustfulness, traits that can encourage someone to depend on him/her.The wider use of this noun is in Systems engineering....
computer systems and formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
, with a background in the VDM
Vienna Development Method
The Vienna Development Method is one of the longest-established Formal Methods for the development of computer-based systems. Originating in work done at IBM's Vienna Laboratory in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language - the VDM...
. He is a committee member of BCS-FACS
BCS-FACS
BCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, organizes meetings for its members and others on formal methods and related computer science topics...
.
Education
Fitzgerald was born in BelfastBelfast
Belfast is the capital of and largest city in Northern Ireland. By population, it is the 14th biggest city in the United Kingdom and second biggest on the island of Ireland . It is the seat of the devolved government and legislative Northern Ireland Assembly...
and was educated at Bangor Grammar School
Bangor Grammar School
Bangor Grammar School , is an all-boys, voluntary grammar school situated in Bangor, County Down, Northern Ireland. It was founded in 1856 by the Conservative politician and Bangor man, Col The Hon. Robert Ward PC MP who lived at Castle Ward...
and The University of Manchester. He holds the BSc
BSC
BSC is a three-letter abbreviation that may refer to:Science and technology* Bachelor of Science , an undergraduate degree* Base Station Controller, part of a mobile phone network; see: Base Station subsystem...
in Computing and Information Systems and the PhD
PHD
PHD may refer to:*Ph.D., a doctorate of philosophy*Ph.D. , a 1980s British group*PHD finger, a protein sequence*PHD Mountain Software, an outdoor clothing and equipment company*PhD Docbook renderer, an XML renderer...
degrees from the 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 PressCambridge University PressCambridge University Press is the publishing business of the University of Cambridge. Granted letters patent by Henry VIII in 1534, it is the world's oldest publishing house, and the second largest university press in the world...
, 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 RandellBrian RandellBrian Randell is a British computer scientist, and Emeritus Professor at the School of Computing Science, Newcastle University, U.K. He specializes in research in software fault tolerance and dependability, and is a noted authority on the early prior to 1950 history of computers.- Biography...