24 people found
People in Category: Formal methods people
Page 1 of 1
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
Page 1 of 1