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 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.
| Property | Value |
|---|
| dbpprop:abstract
|
- 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 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.
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:reference
| |
| rdfs:comment
|
- 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 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.
|
| rdfs:label
|
- John Fitzgerald (computer scientist)
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
![[RDF Data]](/statics/sw-cube.png)
