J. Anthony Hall

J. Anthony Hall FREng jest czołowym brytyjskim inżynierem oprogramowania specjalizującym się w wykorzystaniu metod formalnych , zwłaszcza notacji Z.

Anthony Hall kształcił się na Uniwersytecie Oksfordzkim , uzyskując tytuł licencjata z chemii i doktorat z chemii teoretycznej . Jego kolejne posty obejmowały:

ICI Research Fellow, Wydział Chemii Teoretycznej, University of Sheffield (1971–1973)
Główny oficer naukowy, British Museum Research Laboratory (1973–1980)
Starszy konsultant, Systems Programming Limited (1980–1984)
Główny konsultant, projektanci systemów (1984–1986)
Profesor wizytujący, Carnegie Mellon University (1994)
Główny konsultant, Praxis Critical Systems (1986–2004)

W szczególności Hall pracował nad tworzeniem oprogramowania przy użyciu formalnych metod dla brytyjskich krajowych służb ruchu lotniczego (NATS). Był zapraszanym prelegentem na konferencjach poświęconych metodom formalnym, inżynierii wymagań i inżynierii oprogramowania.

Od 2004 roku Hall jest niezależnym konsultantem . Był także profesorem wizytującym na Uniwersytecie w Yorku . Hall był przewodniczącym-założycielem ForTIA , Stowarzyszenia Przemysłu Technik Formalnych.

Wybrane publikacje

Anthony Hall, Seven Myths of Formal Methods, IEEE Software , wrzesień 1990, s. 11–19.
Anthony Hall i Roderick Chapman, Poprawność przez konstrukcję: opracowywanie bezpiecznego systemu komercyjnego, oprogramowanie IEEE , styczeń/luty 2002, s. 18–25.

Historia kariery

Linki zewnętrzne

Witryna Anthony'ego Halla
Anthony Hall na serwerze bibliograficznym DBLP