Joseph Sifakis
Encyclopedia
Joseph Sifakis is a Greek-French
computer scientist
, laureate of the 2007 Turing Award
, along with Edmund M. Clarke
and E. Allen Emerson
, for his work on model checking
.
He was born in Heraklion
, Crete
in 1946 and studied Electrical Engineering
at the National Technical University of Athens
and Computer Science
at the University of Grenoble
under a French scholarship
.
- 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή He received a doctorate
in 1974 from the University of Grenoble, where he also received a state doctorate in 1979. He was awarded in 2009 a Dr. h.c. from the Ecole Polytechnique Fédérale de Lausane, Switzerland, where he has been appointed Full Professor in 2011News at EPFL (at the School of Computer and Communication Sciences).
Sifakis lives in France
, whose citizenship he took in 1976 and works for the Centre national de la recherche scientifique
at the VERIMAG laboratory near Grenoble
, of which he is a founder.
He is also coordinator of Artist2, the European Network of Excellence for research on Embedded Systems.
He is a grand officer of France's national order of merit
.
French people
The French are a nation that share a common French culture and speak the French language as a mother tongue. Historically, the French population are descended from peoples of Celtic, Latin and Germanic origin, and are today a mixture of several ethnic groups...
computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
, laureate of the 2007 Turing Award
Turing Award
The Turing Award, in full The ACM A.M. Turing Award, is an annual award given by the Association for Computing Machinery to "an individual selected for contributions of a technical nature made to the computing community. The contributions should be of lasting and major technical importance to the...
, along with Edmund M. Clarke
Edmund M. Clarke
Edmund Melson Clarke, Jr. is a computer scientist and academic noted for developingmodel checking, a method for formally verifying hardware and software designs....
and E. Allen Emerson
E. Allen Emerson
Ernest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin, USA.He won the 2007 A.M. Turing Award along with Edmund M...
, for his work on model checking
Model checking
In computer science, model checking refers to the following problem:Given a model of a system, test automatically whether this model meets a given specification....
.
He was born in Heraklion
Heraklion
Heraklion, or Heraclion is the largest city and the administrative capital of the island of Crete, Greece. It is the 4th largest city in Greece....
, Crete
Crete
Crete is the largest and most populous of the Greek islands, the fifth largest island in the Mediterranean Sea, and one of the thirteen administrative regions of Greece. It forms a significant part of the economy and cultural heritage of Greece while retaining its own local cultural traits...
in 1946 and studied Electrical Engineering
Electrical engineering
Electrical engineering is a field of engineering that generally deals with the study and application of electricity, electronics and electromagnetism. The field first became an identifiable occupation in the late nineteenth century after commercialization of the electric telegraph and electrical...
at the National Technical University of Athens
National Technical University of Athens
The National Technical University of Athens , sometimes simply known as Athens Polytechnic, is among the oldest and most prestigious higher education institutions of Greece....
and Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at the University of Grenoble
University of Grenoble
University of Grenoble or Grenoble University was a university in Grenoble, France until 1970, when it was split into several different institutions:...
under a French scholarship
Scholarship
A scholarship is an award of financial aid for a student to further education. Scholarships are awarded on various criteria usually reflecting the values and purposes of the donor or founder of the award.-Types:...
.
Kathimerini
I Kathimerini is a daily morning newspaper published in Athens. It is published in the Greek language, as well as in an abridged English-language edition. The English edition is sold separately in the United States and as a supplement to the International Herald Tribune in Greece and Cyprus. On 2...
- 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή He received a doctorate
PHD
PHD may refer to:*Ph.D., a doctorate of philosophy*Ph.D. , a 1980s British group*PHD finger, a protein sequence*PHD Mountain Software, an outdoor clothing and equipment company*PhD Docbook renderer, an XML renderer...
in 1974 from the University of Grenoble, where he also received a state doctorate in 1979. He was awarded in 2009 a Dr. h.c. from the Ecole Polytechnique Fédérale de Lausane, Switzerland, where he has been appointed Full Professor in 2011News at EPFL (at the School of Computer and Communication Sciences).
Sifakis lives in France
France
The French Republic , The French Republic , The French Republic , (commonly known as France , is a unitary semi-presidential republic in Western Europe with several overseas territories and islands located on other continents and in the Indian, Pacific, and Atlantic oceans. Metropolitan France...
, whose citizenship he took in 1976 and works for the Centre national de la recherche scientifique
Centre national de la recherche scientifique
The National Center of Scientific Research is the largest governmental research organization in France and the largest fundamental science agency in Europe....
at the VERIMAG laboratory near Grenoble
Grenoble
Grenoble is a city in southeastern France, at the foot of the French Alps where the river Drac joins the Isère. Located in the Rhône-Alpes region, Grenoble is the capital of the department of Isère...
, of which he is a founder.
He is also coordinator of Artist2, the European Network of Excellence for research on Embedded Systems.
He is a grand officer of France's national order of merit
Ordre National du Mérite
The Ordre national du Mérite is an Order of State awarded by the President of the French Republic. It was founded on 3 December 1963 by President Charles de Gaulle...
.