Join us in honouring Prof. Tony Hoare, a pioneer in computer science, as we celebrate his legacy in programming and software correctness.
Speaker
Prof. Jonathan P. Bowen
Agenda
5:15 pm - Networking (refreshments and biscuits to be served for venue attendees)
6:00 pm - Talk
7:00 pm - Q&A
7:15 pm - Networking (light refreshments to be served for venue attendees)
8:00 pm - Event close for online attendees
8:30 pm - Event close for venue attendees
Synopsis
Prof. Sir Charles Antony Richard (Tony) Hoare (1934-2026) was a giant of computer science, whose work bridged the gap between the abstract elegance of mathematical logic and the practical necessity of reliable software.
Best known for the Quicksort algorithm, the development of Hoare logic, and the formalization of Communicating Sequential Processes (CSP), his career was defined by a relentless pursuit of "correctness by construction".
This talk chronicles his journey from a student of the Classics at Oxford to the recipient of the ACM A.M. Turing Award, exploring a legacy that helped to transform programming from a craft into a disciplined science.
About the speaker
Prof. Jonathan P. Bowen, MA Oxon, FBCS, FRSA, is an Emeritus Professor of Computing at London South Bank University, UK, Chair of Museophile Limited, a museum and IT consultancy company that he founded in 2002, and an Adjunct Professor at Southwest University, China. He has been a visiting scholar/professor at a variety of institutions, including the Israel Institute for Advanced Studies (Jerusalem), King's College London, and the Pratt Institute (New York). Previously, he has held academic and research posts at the University of Reading, Oxford University, and Imperial College London.
Jonathan’s research interests range from computer science, especially software engineering and formal methods, to the history of computing and digital culture. He contributes to Wikipedia on computing-related and cultural topics. His books include "The Turing Guide" (Oxford University Press, 2017) on Alan Turing. Web: https://www.jpbowen.com.
Our events are for adults aged 16 years and over.
This meeting is conducted in accordance with the BCS Code of Conduct for Meetings.
BCS is a membership organisation. If you enjoy this event, please consider joining BCS. You’ll be very welcome. You’ll receive access to many exclusive career development tools, an introduction to a thriving professional community and also help us Make IT Good For Society. Join BCS today
Please note: if you have any accessibility needs, please let us know via groups@bcs.uk, and we’ll work with you to make suitable arrangements.
If you are attending in person, please familiarise yourself with the Visitor Instructions for the BCS London Office.
For overseas delegates who wish to attend the event, please note that BCS does not issue invitation letters.
This event is brought to you by: FACS (Formal Aspects of Computing Science) group.
