Дж. Энтони Холл

Чтобы узнать о других людях по имени Энтони Холл, см. Энтони Холл (значения) .

Дж. Энтони Холл FREng — ведущий британский инженер-программист, специализирующийся на использовании формальных методов особенно нотации Z. ,

Энтони Холл получил образование в Оксфордском университете со степенью бакалавра химии и доктора теоретической химии . Его последующие посты включали:

• Научный сотрудник ICI , факультет теоретической химии, Шеффилдский университет (1971–1973).
• Главный научный сотрудник Исследовательской лаборатории Британского музея (1973–1980).
• Старший консультант, Systems Programming Limited (1980–1984)
• Главный консультант, системные проектировщики (1984–1986)
• Приглашенный профессор Университета Карнеги-Меллона (1994 г.)
• Главный консультант Praxis Critical Systems (1986–2004)

В частности, Холл работал над разработкой программного обеспечения с использованием формальных методов для Национальной службы воздушного движения Великобритании (NATS). Он был приглашенным докладчиком на конференциях, посвященных формальным методам, разработке требований и разработке программного обеспечения.

С 2004 года Холл является независимым консультантом . Он также был приглашенным профессором в Йоркском университете . Холл был председателем-основателем ForTIA , Ассоциации производителей формальных технологий.

Избранные публикации

• Энтони Холл, Семь мифов о формальных методах, IEEE Software , сентябрь 1990 г., стр. 11–19.
• Энтони Холл и Родерик Чепмен, «Корректность по конструкции: разработка коммерческой безопасной системы», IEEE Software , январь/февраль 2002 г., стр. 18–25.

Ссылки

• История карьеры

Внешние ссылки

• сайт Энтони Холла
• Энтони Холл на DBLP библиографическом сервере