J. アンソニー・ホール

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

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

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

特に、ホール氏は英国航空交通管制局（NATS）において形式手法を用いたソフトウェア開発に携わってきました。形式手法、要件工学、ソフトウェア工学 に関する会議で招待講演を行っています。

ホール氏は2004年以来、独立コンサルタントとして活動しています。また、ヨーク大学の客員教授も務めています。ホール氏は、フォーマルテクニック業界協会 （ForTIA）の創設会長を務めました。

選定された出版物

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

参考文献

• 職歴

外部リンク

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