J. Anthony Hall

J. Anthony Hall FREng es un destacado ingeniero de software británico especializado en el uso de métodos formales , especialmente la notación Z.

Anthony Hall se formó en la Universidad de Oxford, donde obtuvo una licenciatura en química y un doctorado en química teórica . Entre sus cargos posteriores se incluyen:

• Investigador asociado del ICI , Departamento de Química Teórica, Universidad de Sheffield (1971–1973)
• Científico principal del Laboratorio de Investigación del Museo Británico (1973-1980)
• Consultor sénior, Systems Programming Limited (1980–1984)
• Consultor principal, Diseñadores de sistemas (1984–1986)
• Profesor visitante, Universidad Carnegie Mellon (1994)
• Consultor principal, Praxis Critical Systems (1986–2004)

En concreto, Hall ha trabajado en el desarrollo de software utilizando métodos formales para el Servicio Nacional de Control de Tráfico Aéreo del Reino Unido (NATS). Ha sido ponente invitado en conferencias sobre métodos formales, ingeniería de requisitos e ingeniería de software.

Desde 2004, Hall ha trabajado como consultor independiente . También ha sido profesor visitante en la Universidad de York . Hall fue el presidente fundador de ForTIA , la Asociación de la Industria de Técnicas Formales.

• Anthony Hall, Siete mitos de los métodos formales, IEEE Software , septiembre de 1990, págs.  11-19.
• Anthony Hall y Roderick Chapman, Corrección por construcción: desarrollo de un sistema seguro comercial, IEEE Software , enero/febrero de 2002, págs.  18-25.

• Historial profesional

• Sitio web de Anthony Hall
• Anthony Hall en el servidor de bibliografía DBLP