FANDOM


VL2

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


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

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

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

Mjcg-small-colour
Prof. Mike Gordon, FRS, champion of HOL.

Photo-carh
Prof. Tony Hoare, FRS, inventor of CSP.

C-b-jones
Prof. Cliff Jones, progenitor of VDM.

Gdp
Prof. Gordon Plotkin, champion of operational semantics.

Meetings


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

Fme94-bowens
The Bowen family at FME'94, Barcelona, Spain.

Jpb-lubeck94
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.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.