Category:Formal methods people
From HandWiki
Here is a list of articles in the category Formal methods people of the Biography portal. People involved with formal methods.
See also
- Formal methods authors, Google Scholar
Pages in category "Formal methods people"
The following 146 pages are in this category, out of 146 total.
A
B
- Biography:Ralph-Johan Back
- Biography:Ian Bayley
- Biography:Rudolf Berghammer
- Biography:Jan Bergstra
- Biography:Eike Best
- Biography:Evert Willem Beth
- Biography:Richard Bird (computer scientist)
- Biography:Dines Bjørner
- Biography:Egon Börger
- Biography:Richard Bornat
- Biography:Jonathan Bowen
- Biography:Robert S. Boyer
- Biography:Manfred Broy
- Biography:Rod Burstall
- Biography:Michael Butler (computer scientist)
C
D
F
G
H
- Biography:J. Anthony Hall
- Biography:Charles Leonard Hamblin
- Biography:David Harel
- Biography:Mark Harman (computer scientist)
- Biography:He Jifeng
- Biography:Eric Hehner
- Biography:Matthew Hennessy
- Biography:Martin Henson
- Biography:Martin Henson (computer scientist)
- Biography:Carl Hewitt
- Biography:Jane Hillston
- Biography:Michael Hinchey
- Biography:Tony Hoare
- Biography:Gerard J. Holzmann
- Biography:Jim Horning
- Biography:Gérard Huet
J
K
L
M
- Biography:Donald Angus MacKenzie
- Biography:Tom Maibaum
- Biography:Andrew Martin (computer scientist)
- Biography:Ursula Martin
- Biography:David May (computer scientist)
- Biography:John McCarthy (computer scientist)
- Biography:Bertrand Meyer
- Biography:Harlan Mills
- Biography:Robin Milner
- Biography:Faron Moller
- Biography:J Strother Moore
- Biography:Carroll Morgan (computer scientist)
- Biography:Peter Mosses
P
R
- Biography:Anders P. Ravn
- Biography:G. Mike Reed
- Biography:Steve Reeves (computer scientist)
- Biography:F. X. Reid
- Biography:John C. Reynolds
- Biography:John Alan Robinson
- Biography:Ken Robinson (computer scientist)
- Biography:Bill Roscoe
- Biography:Grigore Rosu
- Biography:Grigore Roșu
- Biography:John Rushby
S
- Biography:Klaus Samelson
- Biography:Augusto Sampaio
- Biography:Don Sannella
- Biography:Gunther Schmidt
- Biography:Fred B. Schneider
- Biography:Steve Schneider (computer scientist)
- Biography:Dana Scott
- Biography:Kaisa Sere
- Biography:Michael W. Shields
- Biography:Robert Shostak
- Biography:Jawed Siddiqi
- Biography:Joseph Sifakis
- Biography:Ib Sørensen
- Biography:Ib Holm Sørensen
- Biography:Michael Spivey
- Biography:Bernhard Steffen (computer scientist)
- Biography:Joe Stoy
- Biography:Christopher Strachey
