Formal methods people
Category: Formal methods people
Hussein Zedan
Egyptian computer scientist
Robert France
Computer scientist
Sergiy Vilkomir
Ukrainian-born computer scientist
Grigore Rosu
Computer science professor
Anders P. Ravn
Danish computer scientist
Joost-Pieter Katoen
Researcher
Robert Shostak
American computer scientist and entrepreneur
David Gries
Researcher
Jan Bergstra
Computer scientist
Rudolf Berghammer
Computer science
Nikil Dutt
American computer scientist
Paritosh Pandya
Computer scientist
Charles Gregory Nelson
American computer scientist
Peter Lucas
Austrian computer scientist and professor
Mathai Joseph
Computer scientist
Bernhard Steffen
Computer scientist
Yuri Gurevich
American computer scientist
Tom Maibaum
Computer scientist
Rod Burstall
British computer scientist
Luigi Logrippo
Italian, Canadian computer scientist
Jim Horning
Computer scientist
J Strother Moore
American computer scientist
Dines Bjørner
Computer scientist
Gérard Huet
French computer scientist
Christopher Strachey
British computer scientist
Carl Hewitt
American mathematician and computer scientist
Charles Leonard Hamblin
Australian philosopher and computer pioneer
Jonathan Bowen
British computer scientist
Michael A. Jackson
British computer scientist
Klaus Samelson
German computer scientist
Leslie Lamport
American computer scientist
Dana Scott
American mathematician and computer scientist
Ursula Martin
British computer scientist