Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!

Joseph Sifakis

Index Joseph Sifakis

Joseph Sifakis (Ιωσήφ Σηφάκης) is a Greek computer scientist with French citizenship,, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in Des grecs, les grecs de Grenoble, Musée Dauphinois, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. [1]

31 relations: École Polytechnique Fédérale de Lausanne, Centre national de la recherche scientifique, Computer science, Computer scientist, Crete, Doctor of Philosophy, E. Allen Emerson, Edmund M. Clarke, Electrical engineering, Eleftherotypia, Embedded system, France, Greece, Greeks, Grenoble, Grenoble Institute of Technology, Habilitation, Heraklion, Jean Kuntzmann, Joseph Fourier University, Journal officiel de la République française, Kathimerini, Legion of Honour, Model checking, National Order of Merit (France), National Technical University of Athens, Professor, Scholarship, Static analysis, Turing Award, Université Grenoble Alpes.

École Polytechnique Fédérale de Lausanne

The École polytechnique fédérale de Lausanne (EPFL) is a research institute and university in Lausanne, Switzerland, that specializes in natural sciences and engineering.

New!!: Joseph Sifakis and École Polytechnique Fédérale de Lausanne · See more »

Centre national de la recherche scientifique

The French National Center for Scientific Research (Centre national de la recherche scientifique, CNRS) is the largest governmental research organisation in France and the largest fundamental science agency in Europe.

New!!: Joseph Sifakis and Centre national de la recherche scientifique · See more »

Computer science

Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.

New!!: Joseph Sifakis and Computer science · See more »

Computer scientist

A computer scientist is a person who has acquired the knowledge of computer science, the study of the theoretical foundations of information and computation and their application.

New!!: Joseph Sifakis and Computer scientist · See more »


Crete (Κρήτη,; Ancient Greek: Κρήτη, Krḗtē) is the largest and most populous of the Greek islands, the 88th largest island in the world and the fifth largest island in the Mediterranean Sea, after Sicily, Sardinia, Cyprus, and Corsica.

New!!: Joseph Sifakis and Crete · See more »

Doctor of Philosophy

A Doctor of Philosophy (PhD or Ph.D.; Latin Philosophiae doctor) is the highest academic degree awarded by universities in most countries.

New!!: Joseph Sifakis and Doctor of Philosophy · See more »

E. Allen Emerson

Ernest Allen Emerson (born June 2, 1954) is a computer scientist and endowed professor at the University of Texas, Austin, United States.

New!!: Joseph Sifakis and E. Allen Emerson · See more »

Edmund M. Clarke

Edmund Melson Clarke, Jr. (born July 27, 1945) is an American retired computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.

New!!: Joseph Sifakis and Edmund M. Clarke · See more »

Electrical engineering

Electrical engineering is a professional engineering discipline that generally deals with the study and application of electricity, electronics, and electromagnetism.

New!!: Joseph Sifakis and Electrical engineering · See more »


Eleftherotypia (lit) was a daily national newspaper published in Athens, Greece.

New!!: Joseph Sifakis and Eleftherotypia · See more »

Embedded system

An embedded system is a computer system with a dedicated function within a larger mechanical or electrical system, often with real-time computing constraints.

New!!: Joseph Sifakis and Embedded system · See more »


France, officially the French Republic (République française), is a sovereign state whose territory consists of metropolitan France in Western Europe, as well as several overseas regions and territories.

New!!: Joseph Sifakis and France · See more »


No description.

New!!: Joseph Sifakis and Greece · See more »


The Greeks or Hellenes (Έλληνες, Éllines) are an ethnic group native to Greece, Cyprus, southern Albania, Italy, Turkey, Egypt and, to a lesser extent, other countries surrounding the Mediterranean Sea. They also form a significant diaspora, with Greek communities established around the world.. Greek colonies and communities have been historically established on the shores of the Mediterranean Sea and Black Sea, but the Greek people have always been centered on the Aegean and Ionian seas, where the Greek language has been spoken since the Bronze Age.. Until the early 20th century, Greeks were distributed between the Greek peninsula, the western coast of Asia Minor, the Black Sea coast, Cappadocia in central Anatolia, Egypt, the Balkans, Cyprus, and Constantinople. Many of these regions coincided to a large extent with the borders of the Byzantine Empire of the late 11th century and the Eastern Mediterranean areas of ancient Greek colonization. The cultural centers of the Greeks have included Athens, Thessalonica, Alexandria, Smyrna, and Constantinople at various periods. Most ethnic Greeks live nowadays within the borders of the modern Greek state and Cyprus. The Greek genocide and population exchange between Greece and Turkey nearly ended the three millennia-old Greek presence in Asia Minor. Other longstanding Greek populations can be found from southern Italy to the Caucasus and southern Russia and Ukraine and in the Greek diaspora communities in a number of other countries. Today, most Greeks are officially registered as members of the Greek Orthodox Church.CIA World Factbook on Greece: Greek Orthodox 98%, Greek Muslim 1.3%, other 0.7%. Greeks have greatly influenced and contributed to culture, arts, exploration, literature, philosophy, politics, architecture, music, mathematics, science and technology, business, cuisine, and sports, both historically and contemporarily.

New!!: Joseph Sifakis and Greeks · See more »


Grenoble is a city in southeastern France, at the foot of the French Alps where the river Drac joins the Isère.

New!!: Joseph Sifakis and Grenoble · See more »

Grenoble Institute of Technology

The Grenoble Institute of Technology (Grenoble INP) (Institut polytechnique de Grenoble, Groupe Grenoble INP and before INPG) is a French technological university system consisting of six engineering schools.

New!!: Joseph Sifakis and Grenoble Institute of Technology · See more »


Habilitation defines the qualification to conduct self-contained university teaching and is the key for access to a professorship in many European countries.

New!!: Joseph Sifakis and Habilitation · See more »


Heraklion (Ηράκλειο, Irákleio) is the largest city and the administrative capital of the island of Crete.

New!!: Joseph Sifakis and Heraklion · See more »

Jean Kuntzmann

Jean Kuntzmann (1 June 1912 – 18 December 1992) was a French mathematician, known for his works in applied mathematics and computer science, pushing and developing both fields at a very early time.

New!!: Joseph Sifakis and Jean Kuntzmann · See more »

Joseph Fourier University

Joseph Fourier University (UJF, Université Joseph Fourier, also known as Grenoble I) was a French university situated in the city of Grenoble and focused on the fields of sciences, technologies and health.

New!!: Joseph Sifakis and Joseph Fourier University · See more »

Journal officiel de la République française

The Journal officiel de la République française (JORF or JO) is the government gazette of the French Republic.

New!!: Joseph Sifakis and Journal officiel de la République française · See more »


I Kathimerini (Η Καθημερινή,, meaning "The Daily") is a daily morning newspaper published in Athens.

New!!: Joseph Sifakis and Kathimerini · See more »

Legion of Honour

The Legion of Honour, with its full name National Order of the Legion of Honour (Ordre national de la Légion d'honneur), is the highest French order of merit for military and civil merits, established in 1802 by Napoléon Bonaparte and retained by all the divergent governments and regimes later holding power in France, up to the present.

New!!: Joseph Sifakis and Legion of Honour · See more »

Model checking

In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.

New!!: Joseph Sifakis and Model checking · See more »

National Order of Merit (France)

The National Order of Merit (Ordre national du Mérite) is a French order of merit with membership awarded by the President of the French Republic, founded on 3 December 1963 by President Charles de Gaulle.

New!!: Joseph Sifakis and National Order of Merit (France) · See more »

National Technical University of Athens

The National (Metsovian) Technical University of Athens (NTUA; Εθνικό Μετσόβιο Πολυτεχνείο, National Metsovian Polytechnic), sometimes known as Athens Polytechnic, is among the oldest higher education institutions of Greece and the most prestigious among engineering schools.

New!!: Joseph Sifakis and National Technical University of Athens · See more »


Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries.

New!!: Joseph Sifakis and Professor · See more »


A scholarship is an award of financial aid for a student to further their education.

New!!: Joseph Sifakis and Scholarship · See more »

Static analysis

Static analysis, static projection, or static scoring is a simplified analysis wherein the effect of an immediate change to a system is calculated without regard to the longer-term response of the system to that change.

New!!: Joseph Sifakis and Static analysis · See more »

Turing Award

The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to an individual selected for contributions "of lasting and major technical importance to the computer field".

New!!: Joseph Sifakis and Turing Award · See more »

Université Grenoble Alpes

The Université Grenoble Alpes (UGA, French: meaning "Grenoble Alps University") is a public research university in Grenoble, France.

New!!: Joseph Sifakis and Université Grenoble Alpes · See more »

Redirects here:

J. Sifakis.


[1] https://en.wikipedia.org/wiki/Joseph_Sifakis

Hey! We are on Facebook now! »