J. Anthony Hall - J. Anthony Hall
J. Anthony Hall FREng je přední britský softwarový inženýr specializující se na využití formálních metod , zejména Z notace .
Anthony Hall byl vzděláván na University of Oxford s BA v chemii a DPhil v teoretické chemii . Mezi jeho další příspěvky patří:
- Výzkumný pracovník ICI , Katedra teoretické chemie, Univerzita v Sheffieldu (1971–1973)
- Hlavní vědecký pracovník, British Museum Research Laboratory (1973–1980)
- Senior Consultant, Systems Programming Limited (1980–1984)
- Hlavní konzultant, návrháři systémů (1984–1986)
- Hostující profesor, Carnegie Mellon University (1994)
- Hlavní konzultant, Praxis Critical Systems (1986–2004)
Hall pracoval zejména na vývoji softwaru pomocí formálních metod pro britské národní letové provozní služby (NATS). Byl pozvaným řečníkem na konferencích zabývajících se formálními metodami, technikou požadavků a softwarovým inženýrstvím.
Od roku 2004 je Hall nezávislým konzultantem . Byl také hostujícím profesorem na University of York . Hall byl zakládajícím předsedou ForTIA , průmyslové asociace formálních technik.
Vybrané publikace
- Anthony Hall, Sedm mýtů formálních metod, IEEE Software , září 1990, s. 11–19.
- Anthony Hall a Roderick Chapman, Správnost konstrukce: Vývoj komerčního zabezpečeného systému, IEEE Software , leden / únor 2002, str. 18–25.
Reference
externí odkazy
- Web Anthony Hall
-
Anthony Hall na serveru bibliografie DBLP
 |
Tento článek o počítačovém specialistovi ve Velké Británii je útržek . Wikipedii můžete pomoci rozšířením . |