Computing
Software engineering
Formal methods
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.
People
Prof. Jonathan Bowen, maintainer of these WWW Virtual Library Formal Methods pages.
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.
Prof. Mike Gordon, FRS↑, champion of HOL.
Prof. Tony Hoare, FRS, inventor of CSP.
Prof. Cliff Jones, progenitor of VDM.
Prof. Gordon Plotkin, champion of operational semantics.
Meetings
Three Wise Michaels (Mac an Airchinnigh, Hinchey and Butler) bringing a little Irish cheer to FME'94, Barcelona↑, Spain.
The Bowen family at FME'94, Barcelona, Spain.
Jonathan Bowen at FTRTFT'94, Lübeck↑, Germany.
Please contact Jonathan Bowen if you wish to suggest additions, deletions or changes to this page.
Last updated 22 July 2015.