# John Fitzgerald

> British computer scientist and Chair of Formal Methods Europe

**Wikidata**: [Q6233314](https://www.wikidata.org/wiki/Q6233314)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/John_Fitzgerald_(computer_scientist))  
**Source**: https://4ort.xyz/entity/john-fitzgerald

## Summary
John Fitzgerald is a British computer scientist and engineer, currently serving as the Chair of Formal Methods Europe. He is a Fellow of the British Computer Society and has a long-standing association with Newcastle University.

## Biography
- Born: 1965
- Nationality: British
- Education: University of Manchester, Victoria University of Manchester
- Known for: Formal Methods, Chair of Formal Methods Europe
- Employer(s): Newcastle University, University of Manchester
- Field(s): Computer Science, Engineering

## Contributions
The provided source material identifies John Fitzgerald as a prominent computer scientist and engineer, but it does not list specific titles of papers, books, software, or patents he has authored or developed. His contributions are indicated through his leadership and professional service. He serves as the **Chair of Formal Methods Europe**, an organization dedicated to the research and application of formal methods in computing. He is also a **member of the UK Computing Research Committee**, contributing to the direction of computing research in the UK. His repeated academic appointments at **Newcastle University** over several decades suggest a significant role in research and education within his field. His recognition as a **Fellow of the British Computer Society** further attests to his professional impact.

## FAQs
### Q: What are John Fitzgerald's main research areas?
A: The source material identifies him broadly as a computer scientist and engineer. His role as Chair of Formal Methods Europe indicates a specialization in formal methods.

### Q: Is John Fitzgerald associated with any specific university?
A: Yes, he has extensive employment history with Newcastle University dating back to 1991 and a prior affiliation with the University of Manchester in 1989.

### Q: What leadership roles does John Fitzgerald hold?
A: He is the Chair of Formal Methods Europe and a member of the UK Computing Research Committee. He is also a Fellow of the British Computer Society.

## Why They Matter
John Fitzgerald plays a significant role in the domain of formal methods, a critical area of computer science focused on the rigorous development of software and hardware systems. His leadership as the **Chair of Formal Methods Europe** places him at the forefront of promoting and organizing research and collaboration in this specialized field on a continental scale. His long-term position at **Newcastle University**, a major research institution in the UK, suggests a sustained contribution to both the academic community and the education of future computer scientists. His membership in the **UK Computing Research Committee** indicates his involvement in shaping national research priorities. The recognition of his peers through his fellowship with the **British Computer Society** confirms his standing and influence within the broader computing profession.

## Notable For
- Chair of Formal Methods Europe
- Fellow of the British Computer Society
- Member of the UK Computing Research Committee
- Long-serving academic at Newcastle University
- Alumnus of the University of Manchester

## Body

### Academic Career
John Fitzgerald has had a long and intermittent career at **Newcastle University**, with recorded employment periods including:
- August 1991 to March 1994
- January 1996 to March 2001
- April 2003 to July 2012
- August 2012 to at least the time of the source data's creation

Earlier in his career, he was employed at the **University of Manchester** from April 1989 to September 1989.

### Professional Affiliations
He is a **member of the UK Computing Research Committee**. His professional identity is also verified through numerous authority IDs, including an **ORCID ID** (0000-0001-7041-1807), a **Scopus Author ID** (7402450912), and a **Google Scholar Author ID** (-uhYZI8AAAAJ).

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "John Fitzgerald",
  "jobTitle": "Computer Scientist",
  "nationality": {"@type": "Country", "name": "British"},
  "birthDate": "1965",
  "alumniOf": [
    {"@type": "EducationalOrganization", "name": "University of Manchester"},
    {"@type": "EducationalOrganization", "name": "Victoria University of Manchester"}
  ],
  "worksFor": {"@type": "Organization", "name": "Newcastle University"},
  "knowsAbout": ["Formal Methods", "Computer Science", "Engineering"],
  "sameAs": ["https://en.wikipedia.org/wiki/John_Fitzgerald_(computer_scientist)"],
  "description": "British computer scientist and Chair of Formal Methods Europe."
}

## References

1. Virtual International Authority File
2. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0001-7041-1807/employment/2900159)
3. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0001-7041-1807/employment/2900151)
4. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0001-7041-1807/employment/2900136)
5. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0001-7041-1807/employment/2900126)
6. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0001-7041-1807/employment/2900121)
7. International Standard Name Identifier
8. [Source](https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/)
9. Czech National Authority Database
10. IdRef
11. NUKAT
12. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0001-7041-1807/researcher-urls/1010252)
13. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0001-7041-1807/external-identifiers/623240)
14. Catalogue of the Library of the Pontifical University of the Holy Cross