MENU

Address

Verimag Laboratory, âtiment IMAG 700, Avenue Centrale 38401 Saint Martin d’Hères France

Social Media

Contact Me

Joseph.Sifakis@univ-grenoble-alpes.fr

Tel. +33 (0)4.57.42.22.44

Fax. +33 (0)4.57.42.22.22
Joseph Sifakis

Selected Lectures and Interviews

Ιn Greek

Curriculum Vitae

PERSONAL

Name: JOSEPH SIFAKIS
Personal Address: 8 ALLEE DU BOUTET
38240 MEYLAN, France
Date and place of birth: December 26, 1946, Heraklion, Greece
Citizenship: Greek and French
Spouse: Olga Ioannidi

EDUCATION

  • Habilitation in Computer Science, 1979, University of Grenoble
  • D. in Computer Science, 1974, University of Grenoble
  • MS in Computer Science, 1972, University of Grenoble
  • Electrical Engineering Degree, 1969, Technical University of Athens

DISTINCTIONS AND HONORS

  • Turing Award 2007 (http://awards.acm.org/citation.cfm?id=1167964&srt=all&aw=140&ao=AMTURING&yr=2007)
  • Silver Medal of CNRS, 2001
  • Leonardo da Vinci Medal 2012 (http://www.sefi.be/?page_id=17 )
  • Grand Officer of the National Order of Merit, France, 2008
  • Commander of the Legion of Honor, France, 2011
  • Award of the Greek Parliament for Commonwealth and Democracy, 2010
  • Commander of the Order of the Phoenix, Greece 2013
  • Member of the French Academy of Sciences, 2010
  • Member of Academia Europea, 2008
  • Member of the French Academy of Engineering, 2008
  • Commander of the Greek Order of the Phoenix, 2012..
  • Member of the American Academy of Arts and Sciences, 2015
  • Member of the National Academy of Engineering, 2017
  • Member of the Chinese Academy of Sciences, 2019
  • Member of the National Academy of Science

PROFESSIONAL EXPERIENCE

Academic Positions

  • CNRS researcher at VERIMAG laboratory since 1974 – currently, Emeritus CNRSResearch Director (Exceptional Class)
  • Director of the Center for Integrative Research on Intelligent Software and Systems, Grenoble (2010-2015)
  • Full Professor at EPFL (Ecole Polytechnique Fédérale de Lausanne), Director of the « Rigorous System Design Laboratory » (October 2011-September 2016)
  • Founder and director of the VERIMAG laboratory (1993-2006)
  • Director of the Department of Doctoral Studies in Computer Science, Grenoble 1992-1997.
  • INRIA-Schneider endowed industrial chair (2008-2011)
  • Visiting positions at SRI International, UC Berkeley, Tsinghua University, SUSTECH University.
  • Teaching: automata theory, logic, languages, formal verification, real-time systems, component-based engineering, system design (1974-today)
 

Other Academic Responsibilities

  • President of the Greek National Council for Research and Technology (February 2014-April 2016)
  • Scientific Director of the ARTIST European Network of Excellence on Embedded Systems Design (2004-2012)
  • Founding member and member of the Steering Board of the ARTEMISIA European Industrial Association on Embedded Systems
  • Founder of the CAV conference and member of the Steering Committee of Emsoft and Embedded Systems Week.
  • Supervised more than 30 PhD’s.
 

Government Assignments

  • President of the Greek National Council for Research and Technology, 2014- May 2016
  • Consulting Expert for CEA/DRT (2009-2017)
  • President of the Working Group of the French Ministry of Education for a National Strategy in Digital Technologies, (2009-2011).
  • President or member of national Committees for the Evaluation of Research and Higher Education in France (1990-2009)
  • Expert for the Greek Ministry of Education – Research and Technology Secretariat (2000-2014)
  • Member of Evaluation Panels for the European Commission and NSF (1990 -2007)
  • Expert for the Agency for Science, Technology and Research (A-star), Singapore (2003-2006)

MAIN CONTRIBUTIONS AND ACHIEVEMENTS

A list of the most relevant publications is provided at Joseph Sifakis’ home pages:
http://www-verimag.imag.fr/~sifakis/.

A list of publications classified by year is provided by dblp:
http://dblp.mpi-inf.mpg.de/dblp-mirror/index.php#query=author%3A+joseph+sifakis . 

A classification of the publications by their impact is provided by Google Scholar:
 http://scholar.google.com/scholar?q=joseph+sifakis+&hl=en&btnG=Search&as_sdt=2001&as_sdtp=on

Joseph Sifakis has given more than 250 invited talks, keynote lectures and seminars in prestigious conferences, international schools and universities. 

Joseph Sifakis

Selected Lectures and Interviews

Ιn Greek

Navigation

Relevant Links