Jump to content

Joseph Sifakis: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
BG19bot (talk | contribs)
1,005,055 edits
m WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (9957)
No edit summary
Line 21: Line 21:
| footnotes =
| footnotes =
}}
}}
'''Joseph Sifakis''' ({{lang-el|Ιωσήφ Σηφάκης}}) is a [[Greek people|Greek]]-born French [[computer scientist]],<ref name="revues-plurielles.org">''[http://revues-plurielles.org/_uploads/pdf/6_95_6.pdf Aperçu historique de l’immigration grecque à Grenoble]'', 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, ISBN 2-905375-08-6</ref> laureate of the 2007 [[Turing Award]], along with [[Edmund M. Clarke]] and [[E. Allen Emerson]], for his work on [[model checking]].
'''Joseph Sifakis''' ({{lang-el|Ιωσήφ Σηφάκης}}) is a [[Greek people|Greek]] [[computer scientist]] that holds also French citizenship,<ref name="revues-plurielles.org">''[http://revues-plurielles.org/_uploads/pdf/6_95_6.pdf Aperçu historique de l’immigration grecque à Grenoble]'', 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, ISBN 2-905375-08-6</ref> 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<ref name="enet.gr">(''[[Eleftherotypia]]'' - 05 Feb 2008) [http://www.enet.gr/online/online_text/c=112,id=46050344 Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής] {{el icon}}</ref> and studied [[Electrical Engineering]] at the [[National Technical University of Athens]] and [[Computer Science]] at the [[University of Grenoble]] under a French [[scholarship]].<ref
He was born in [[Heraklion]], [[Crete]] in 1946<ref name="enet.gr">(''[[Eleftherotypia]]'' - 05 Feb 2008) [http://www.enet.gr/online/online_text/c=112,id=46050344 Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής] {{el icon}}</ref> and studied [[Electrical Engineering]] at the [[National Technical University of Athens]] and [[Computer Science]] at the [[University of Grenoble]] under a French [[scholarship]].<ref

Revision as of 16:48, 4 April 2014

Joseph Sifakis
BornDecember 26, 1946
Heraklion, Crete, Hellas
CitizenshipGreek/French
Alma materNational Technical University of Athens
University of Grenoble
Known forDevelopment of Model-Checking
AwardsTuring Award (2007)
Scientific career
FieldsComputer science
InstitutionsCNRS

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek computer scientist that holds also French citizenship,[1] 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[2] and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship.[3] He received a doctorate in 1974 from the University of Grenoble,[4] where he also received a state doctorate in 1979.[5][6][7]

He was awarded in 2009 a Dr. h.c. from the École Polytechnique Fédérale de Lausanne, Switzerland, where he has been appointed Full Professor in 2011[8] (at the School of Computer and Communication Sciences).

Sifakis lives in France, whose citizenship he took in 1976[1] and works for the Centre national de la recherche scientifique at the VERIMAG laboratory near Grenoble,[7] of which he is a founder.[2][9]

He is also coordinator of Artist2, the European Network of Excellence for research on Embedded Systems.[10]

He is a grand officer of France's national order of merit[11] and commander in France's Legion of Honour.[12]

References

  1. ^ a b Aperçu historique de l’immigration grecque à Grenoble, 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, ISBN 2-905375-08-6
  2. ^ a b (Eleftherotypia - 05 Feb 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής Template:El icon
  3. ^ (Kathimerini - 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή Template:El icon
  4. ^ Modèles temporels des systèmes logiques ("Temporal models of logic systems"), Université scientifique et médicale de Grenoble, 1976, under the supervision of Jean Kuntzmann
  5. ^ Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique ("Control of asynchronous systems: concepts, properties, static analysis"), USMG and INPG, 1979 under the supervision of Louis Bolliet
  6. ^ At the time when Joseph Sifakis was a graduate student, there existed in France two levels of PhDs, the higher one, the doctorat d'état ("state doctorate") being necessary to access professorships. It has since been replaced by the habilitation.
  7. ^ a b There were two science universities in Grenoble: the Université scientifique et médicale de Grenoble (USMG, Grenoble-1), which was later renamed to Joseph Fourier University, and the Grenoble Institute of Technology(INPG), later renamed to Grenoble-INP. VERIMAG is a joint laboratory of CNRS, Joseph Fourier University and Grenoble-INP.
  8. ^ News at EPFL
  9. ^ CNRS website - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 Template:Fr icon
  10. ^ ARTIST2 NoE - Strategic Management Board — Artist2 NoE
  11. ^ Decree of 16 May 2008 published in the Journal officiel de la République Française of 17 May 2008.
  12. ^ Decree of 13 July 2011 published in the Journal officiel de la République Française of 14 July 2008.]

Template:Persondata

Retrieved from "https://en.wikipedia.org/w/index.php?title=Joseph_Sifakis&oldid=602746168"