International Member
Professor Joseph Sifakis
Professor Joseph Sifakis
International Member
Professor, Université Grenoble-Alpes
More Info
  • 2017
  • Computer Science and Engineering
More Info
  • 2017
  • Computer Science and Engineering
More Info
  • 2017
  • Computer Science and Engineering
Election Citation
For co-inventing model checking and for contributions to the development and verification of real-time and embedded systems.
Employment
  • Université Grenoble-Alpes
  • Ecole Polytechnique Federale de Lausanne