* Virtual Library * Formal Methods * Who's Who

Formal Methods: Photographs

This page includes an eclectic collection of photographs of people connected with formal methods. 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. David Parnas, proponent of
mathematical models and tabular representations.








[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.







See also:






Please contact

Jonathan Bowen
if you wish to suggest additions, deletions or
changes to this page.




Last updated
23 September 2004.