J. アンソニー ホール

J. アンソニー ホール FREng は、形式手法、特にZ 表記法の使用を専門とする英国の 著名なソフトウェア エンジニアです。

アンソニー・ホールはオックスフォード大学で化学の学士号と理論化学の博士号を取得しました。その後の役職には以下のものがあります。

• シェフィールド大学理論化学部ICI研究員(1971–1973)
• 大英博物館研究所主任科学官（1973年～1980年）
• システムプログラミングリミテッドのシニアコンサルタント（1980～1984年）
• システムデザイナー主任コンサルタント（1984～1986年）
• カーネギーメロン大学客員教授（1994年）
• Praxis Critical Systems主任コンサルタント(1986–2004)

特に、ホール氏は英国国立航空交通管制局(NATS) の形式手法を使用したソフトウェア開発に取り組んできました。形式手法、要件エンジニアリング、ソフトウェア エンジニアリングに関する会議で招待講演者として招かれています。

ホール氏は2004年以来、独立コンサルタントとして活動しています。また、ヨーク大学の客員教授も務めています。ホール氏は、 ForTIA（Formal Techniques Industry Association） の創設会長を務めました。

• アンソニー・ホール、「形式手法の 7 つの神話」、IEEE ソフトウェア、1990 年 9 月、pp. 11–19。
• Anthony Hall および Roderick Chapman、「Correctness by Construction: Developing a Commercial Secure System」、IEEE Software、2002 年 1 月/2 月、pp. 18–25。

• 経歴

• アンソニー・ホールのウェブサイト
• DBLP書誌サーバーの Anthony Hall