* Virtual Library * Formal Methods * Who's Who

Formal Methods: Photographs

(New) See FM'99 photographs

This page includes an eclectic collection of photographs of people connected with formal methods. Please mail J.P.Bowen@reading.ac.uk if you know of other photographs which you think would be suitable for inclusion here. 









People










[Photograph]

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.