J. Anthony Hall


J. Anthony Hall

:"See also other people called Anthony Hall."

J. Anthony Hall 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, Systems Programming Limited (1980–1984)
* Principal Consultant, Systems Designers (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.

Selected publications

* Anthony Hall, Seven Myths of Formal Methods, "IEEE Software", September 1990, pp. 11–19.
* Anthony Hall and Roderick Chapman, Correctness by Construction: Developing a Commercial Secure System, "IEEE Software", January/February 2002, pp. 18–25.

References

* [http://www.anthonyhall.org/html/career_history.html Career history]

External links

* [http://www.anthonyhall.org/ Anthony Hall website]
*


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Anthony Hall — may refer to:* Anthony Michael Hall, US actor * Anthony William Hall, UK royalty claimant * J. Anthony Hall, UK software engineerAnthony Hall may also be:* A hall in Southern Illinois University, USAee also* Tony Hall * St. Anthony Hall,… …   Wikipedia

  • St. Anthony Hall — Not to be confused with St Anthony s Hall. St. Anthony Hall, also known as Saint Anthony Hall and The Order of St. Anthony, is a national college literary society also known as the Fraternity of Delta Psi (ΔΨ) at colleges in the United States of… …   Wikipedia

  • Michael Anthony Hall — Mr. Mike (* unbekannt; eigentlich Michael Anthony Hall) ist ein Schweizer House DJ, Produzent, Radiomoderator und Labelchef. Inhaltsverzeichnis 1 Biographie 2 Diskographie 2.1 Alben 2.2 Compilations …   Deutsch Wikipedia

  • List of St. Anthony Hall members — Founders of Alpha Chapter of St. Anthony Hall (Columbia College + N.Y.U.), January 17, 1847= According to the 20th edition (1991) of Baird s Manual of American College Fraternities ISBN 0 9637159 0 9, two founding members are cited: * Edward… …   Wikipedia

  • Anthony Michael Hall — at Creation Grand Slam XII in 2004 Born Michael Anthony Hall April 14, 1968 (1968 04 14) (age 43) West Roxbury, Boston, Massachusetts …   Wikipedia

  • Anthony William Hall — (1898–1947) was a Shropshire man who claimed to be descended directly through the male line from Henry VIII and Anne Boleyn (from an illegitimate son, born before their marriage). In 1931, Hall attempted in an open letter to King George V to… …   Wikipedia

  • Hall (surname) — This article is about the origin of the Hall surname. For other uses, see Hall (disambiguation). Hall Family name Meaning someone who lived in or worked in a hall or manor house Region of origin England Footnotes …   Wikipedia

  • Anthony A. Williams — Infobox Governor name= Anthony Allen Williams caption= Mayor Anthony Williams speaking at the 2006 Cherry Blossom Festival Opening Ceremonies. order=5th office= Mayor of Washington, D.C. term start= January 2, 1999 term end= January 2, 2007… …   Wikipedia

  • Anthony Michael Hall — Saltar a navegación, búsqueda Anthony Michael Hall Anthony Michael Hall en el Creation Grand Slam XII (2004) Nombre real Michael Anthony Thomas Charles Hall …   Wikipedia Español

  • Anthony Muñoz — Anthony Muñoz, 2004 Position(en): Offensive Tackle Trikotnummer(n): 78 geboren am 19. August 1958 in …   Deutsch Wikipedia