Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos
Joseph Sifakis
Table of Contents
Introduction References & Edit History Quick Facts & Related Topics
Images
Joseph Sifakis, winner of the 2007 A.M. Turing Award in computer science.
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
Related Questions
Read Next
Internet http://www blue screen. Hompepage blog 2009, history and society, media news television, crowd opinion protest, In the News 2009, breaking news
Who Invented the Internet?
Technical insides of a desktop computer
5 Components of Information Systems
bunch of numbers
Unusual Counting Systems
Programming computer abstract
Influential Computer Programming Languages
number zero, 0 balloon
Is Zero an Even or an Odd Number?
Discover
Hemp (Cannabis sativa).
9 Mind-Altering Plants
Marriage. A couple getting married during a church wedding ceremony. (religion, ceremony, bride, groom)
The Seven Sacraments of the Roman Catholic church
July, 2006, Launch of Space Shuttle Discovery STS-121. See attached for full caption information.
Will Light-Speed Space Travel Ever Be Possible?
Battle of the Alamo from "Texas: An Epitome of Texas History from the Filibustering and Revolutionary Eras to the Independence of the Republic, 1897. Texas Revolution, Texas revolt, Texas independence, Texas history.
6 Wars of Independence
Lusitania sinking, illustration from The War of the Nations (New York), December 31, 1919. World War I, WWI. This image is one of three on the page. (See source file for the other two.)
7 of the World’s Deadliest Shipwrecks
Ahura Mazda - relief of the Zoroastrian god Ahura Mazda at the ancient ruins of Persepolis in Iran. Also known as Ormazd Zoroastrianism,
Which Religion Is the Oldest?
Entrants falling and tumbling over while chasing the cheese at the 2016 'Cheese Rolling' held at Cooper's Hill, in the Cotswolds, Brockworth England
7 of the World’s Most Dangerous Festivals

Joseph Sifakis: Facts & Related Content

verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Share
Share to social media
URL
https://www.britannica.com/facts/Joseph-Sifakis
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 78) • 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 →
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
Fred Brooks
American computer scientist
Alan Jay Perlis
American mathematician and computer scientist
Fernando Corbató
American physicist and computer scientist
Amir Pnueli
Israeli computer scientist
E. Allen Emerson
American computer scientist
Bill Gates
Bill Gates
American computer programmer, businessman, and philanthropist
Bill Joy
American software developer and entrepreneur
Ellison, Larry
Larry Ellison
American business executive
Ray Kurzweil
American computer scientist and futurist
Marissa Mayer
Marissa Mayer
American software engineer and businesswoman
Tim Berners-Lee
Tim Berners-Lee
British scientist
Margaret Hamilton
Margaret Hamilton
American computer scientist
Jack Dorsey
Jack Dorsey
American Web developer and entrepreneur
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

Related Quizzes and Features

Quiz
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