Samson AbramskyW
Samson Abramsky
Evert Willem BethW
Evert Willem Beth
Richard Bird (computer scientist)W
Richard Bird (computer scientist)
Dines BjørnerW
Dines Bjørner
Egon BörgerW
Egon Börger
Jonathan BowenW
Jonathan Bowen
Manfred BroyW
Manfred Broy
Michael Butler (computer scientist)W
Michael Butler (computer scientist)
Edmund M. ClarkeW
Edmund M. Clarke
Radhia CousotW
Radhia Cousot
Ole-Johan DahlW
Ole-Johan Dahl
Edsger W. DijkstraW
Edsger W. Dijkstra
Robert W. FloydW
Robert W. Floyd
Michael FourmanW
Michael Fourman
Robert FranceW
Robert France
Joseph GoguenW
Joseph Goguen
Michael Goldsmith (computer scientist)W
Michael Goldsmith (computer scientist)
Michael J. C. GordonW
Michael J. C. Gordon
Yuri GurevichW
Yuri Gurevich
John GuttagW
John Guttag
David HarelW
David Harel
Martin HensonW
Martin Henson
Carl HewittW
Carl Hewitt
Tony HoareW
Tony Hoare
Gerard J. HolzmannW
Gerard J. Holzmann
Joost-Pieter KatoenW
Joost-Pieter Katoen
Matt KaufmannW
Matt Kaufmann
Robert KowalskiW
Robert Kowalski
Leslie LamportW
Leslie Lamport
Peter LandinW
Peter Landin
Zhiming Liu (computer scientist)W
Zhiming Liu (computer scientist)
John McCarthy (computer scientist)W
John McCarthy (computer scientist)
Bertrand MeyerW
Bertrand Meyer
Robin MilnerW
Robin Milner
Faron MollerW
Faron Moller
J Strother MooreW
J Strother Moore
Peter O'HearnW
Peter O'Hearn
David ParnasW
David Parnas
Lawrence PaulsonW
Lawrence Paulson
Juan PavónW
Juan Pavón
Carl Adam PetriW
Carl Adam Petri
Gordon PlotkinW
Gordon Plotkin
Amir PnueliW
Amir Pnueli
Anders P. RavnW
Anders P. Ravn
John C. ReynoldsW
John C. Reynolds
John Alan RobinsonW
John Alan Robinson
Grigore RosuW
Grigore Rosu
Dana ScottW
Dana Scott
Robert ShostakW
Robert Shostak
Joe StoyW
Joe Stoy
Christopher StracheyW
Christopher Strachey
Moshe VardiW
Moshe Vardi
Sergiy VilkomirW
Sergiy Vilkomir
Philip WadlerW
Philip Wadler
Adriaan van WijngaardenW
Adriaan van Wijngaarden
Jeannette WingW
Jeannette Wing
Niklaus WirthW
Niklaus Wirth
Hussein ZedanW
Hussein Zedan