Formal Methods Wiki
Advertisement

Virtual Library
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


Photograph

Prof. Jonathan Bowen, maintainer of these WWW Virtual Library Formal Methods pages.


Photograph

Prof. Edsger Wybe Dijkstra, promulgator of the streamlining of mathematical argument to increase powers of reasoning, especially by the use of formal techniques.


Photograph

Prof. David Gries, award winning educator in the use of logic for computer science.


Photograph

Prof. Mike Gordon, FRS, champion of HOL.


Photograph

Prof. Tony Hoare, FRS, inventor of CSP.


Photograph

Prof. Cliff Jones, progenitor of VDM.


Photograph

Prof. Gordon Plotkin, champion of operational semantics.


Meetings


Photograph

Three Wise Michaels (Mac an Airchinnigh, Hinchey and Butler) bringing a little Irish cheer to FME'94, Barcelona, Spain.


Photograph

The Bowen family at FME'94, Barcelona, Spain.


Photograph

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.

Advertisement