Category
page 1Formal methods people
Edsger W. Dijkstra
Dutch computer scientist (1930–2002)
John McCarthy
American computer scientist and cognitive scientist (1927-2011)
Niklaus Wirth
Swiss computer scientist (1934–2024)
Tony Hoare
British computer scientist
Leslie Lamport
American computer scientist
Ole-Johan Dahl
Norwegian computer scientist (1931–2002)
Dana Scott
American mathematician and computer scientist
Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Robert W. Floyd
American computer scientist (1936-2001)
Robin Milner
British computer scientist (1934-2010)
E. Allen Emerson
American computer scientist (1954–2024)
Edmund M. Clarke
American computer scientist (1945–2020)
Carl Adam Petri
German mathematician (1926-2010)
Bertrand Meyer
French computer scientist
Jonathan Bowen
British computer scientist
Christopher Strachey
British computer scientist (1916–1975)
Robert Kowalski
British computer scientist
Adriaan van Wijngaarden
Dutch computer scientist (1916-1987)
Jeannette Wing
American computer scientist
Michael A. Jackson
British computer scientist
Peter Landin
British computer scientist (1930–2009)
David Parnas
Canadian software engineer
John Alan Robinson
British-American mathematician (1930-2016)
Moshe Vardi
American computer scientist
Evert Willem Beth
Dutch philosopher and logician (1908–1964)
David Harel
Israeli computer scientist
John C. Reynolds
American computer scientist (1935-2013)
Gérard Huet
French computer scientist
Jean-Raymond Abrial
French computer scientist
Nancy Leveson
American computer scientist
Philip Wadler
American computer scientist
Samson Abramsky
computer scientist
Carl Hewitt
American mathematician and computer scientist
Gerard J. Holzmann
Dutch computer scientist (born 1951)
Marta Zofia Kwiatkowska
British computer scientist
Manfred Broy
German computer scientist
Egon Börger
German computer scientist
Klaus Samelson
German computer scientist (1918–1980)
Gordon Plotkin
Scottish computer scientist
Ursula Martin
British computer scientist
Joseph Amadee Goguen
American computer scientist (1941-2006)
Radhia Cousot
Inventor of abstract interpretation (1947–2014)
Charles Leonard Hamblin
Australian philosopher and computer pioneer (1922–1985)
David May
British computer scientist (born 1951)
David Gries
American computer scientist
Daniel Jackson
American computer scientist
Joost-Pieter Katoen
Dutch researcher theoretical computer science
Donald Angus MacKenzie
British sociologist
Juan Pavón
Spanish computer scientist (b.1962)
Peter O'Hearn
computer scientist
Rajeev Alur
American computer scientist
Robert S. Boyer
American mathematician, computer scientist and philosopher