Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos

Joseph Sifakis: Quick Facts

Written and fact-checked by
The Information Architects of Encyclopaedia Britannica

The Information Architects maintain a master list of the topics included in the corpus of  Encyclopædia Britannica, and create and manage the relationships between them.
The Information Architects of Encyclopaedia Britannica

Facts

Born December 26, 1946 (age 79) • Heraklion • Greece
Awards And Honors Turing Award (2007)
Subjects Of Study model checking software • software

Photos

Joseph Sifakis, winner of the 2007 A.M. Turing Award in computer science.
See All Images →
default image
Edmund M. Clarke
American computer scientist
Computer interface pioneer Douglas EngelbartEngelbart holding a video conference on the right side of the computer screen while working on a document with a remote collaborator during a 1968 computer conference in San Francisco, California.
Douglas Engelbart
American inventor
default image
Alan Jay Perlis
American mathematician and computer scientist
default image
Fernando Corbató
American physicist and computer scientist
default image
Amir Pnueli
Israeli computer scientist
default image
E. Allen Emerson
American computer scientist
Bill Gates smiling and wearing glasses, a dark suit, a pale shirt, and a patterned tie.
Bill Gates
American computer programmer and entrepreneur
default image
Bill Joy
American software developer and entrepreneur
default image
Ray Kurzweil
American computer scientist and futurist
Jack Dorsey
Jack Dorsey
American Web developer and entrepreneur
British scientist Tim Berners-Lee in 2014, wearing a light blue shirt and dark jacket, shown from the shoulders up against a blurred background.
Tim Berners-Lee
British computer scientist
default image
Pattie Maes
Belgian-born software engineer and entrepreneur
Shai Agassi, 2008.
Shai Agassi
Israeli entrepreneur
Geoffrey Hinton
Geoffrey Hinton
British-Canadian cognitive psychologist and computer scientist
Vinton Gray Cerf
Vinton Cerf
American computer scientist
Maurice Wilkes
Maurice Wilkes
British computer scientist
Minsky, Marvin
Marvin Minsky
American mathematician and computer scientist
default image
Robert Kahn
American computer scientist
Edward Feigenbaum
Edward Albert Feigenbaum
American systems analyst
default image
Allen Newell
American computer scientist

Related Quizzes

computer chip. computer. Hand holding computer chip. Central processing unit (CPU). history and society, science and technology, microchip, microprocessor motherboard computer Circuit Board
Computers and Technology Quiz