About: J. Anthony Hall

An Entity of Type: person, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org:8891

J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation. Anthony Hall was educated at the University of Oxford with a BA in chemistry and a DPhil in theoretical chemistry. His subsequent posts have included: In particular, Hall has worked on software development using formal methods for the UK National Air Traffic Services (NATS). He has been an invited speaker at conferences concerned with formal methods, requirements engineering and software engineering.

Property Value
dbo:abstract
  • J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation. Anthony Hall was educated at the University of Oxford with a BA in chemistry and a DPhil in theoretical chemistry. His subsequent posts have included: * ICI Research Fellow, Department of Theoretical Chemistry, University of Sheffield (1971–1973) * Principal Scientific Officer, British Museum Research Laboratory (1973–1980) * Senior Consultant, (1980–1984) * Principal Consultant, (1984–1986) * Visiting Professor, Carnegie Mellon University (1994) * Principal Consultant, Praxis Critical Systems (1986–2004) In particular, Hall has worked on software development using formal methods for the UK National Air Traffic Services (NATS). He has been an invited speaker at conferences concerned with formal methods, requirements engineering and software engineering. Since 2004, Hall has been an independent consultant. He has also been a visiting professor at the University of York. Hall was the founding chair of ForTIA, the Formal Techniques Industry Association. (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 5818561 (xsd:integer)
dbo:wikiPageLength
  • 2663 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 994042007 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation. Anthony Hall was educated at the University of Oxford with a BA in chemistry and a DPhil in theoretical chemistry. His subsequent posts have included: In particular, Hall has worked on software development using formal methods for the UK National Air Traffic Services (NATS). He has been an invited speaker at conferences concerned with formal methods, requirements engineering and software engineering. (en)
rdfs:label
  • J. Anthony Hall (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License