Siddhesh Joshi (Editor)

John Fitzgerald (computer scientist)

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Name
  
John Fitzgerald

Role
  
Computer scientist


John Fitzgerald (computer scientist) SustainabilityNCL on Twitter John Fitzgerald introduces

Books
  
Modelling Systems: Practical Tools and Techniques in Software Development

Education
  
University of Manchester

John S. 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 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.

Contents

Education

Fitzgerald was born in Belfast 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.

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.

    • References

    John Fitzgerald (computer scientist) Wikipedia
    (Text) CC BY-SA