This page includes an eclectic collection of photographs of people connected with formal methods. Please add photographs or links to photographs relevant to formal methods. Alternatively, please contact Jonathan Bowen if you know of other photographs which you think would be suitable for inclusion here.
Prof. Edsger Wybe Dijkstra, promulgator of the streamlining of mathematical argument to increase powers of reasoning, especially by the use of formal techniques.
Prof. David Gries, award winning educator in the use of logic for computer science.
The Bowen family at FME'94, Barcelona, Spain.
Please contact Jonathan Bowen if you wish to suggest additions, deletions or changes to this page.
Last updated 22 July 2015.