Professor Joseph Sifakis
Professor Joseph Sifakis Foreign Member
Professor , Universite Grenoble-Alpes
More Info
  • 2017
  • Computer Science & Engineering
More Info
  • 2017
  • Computer Science & Engineering
Election Citation
For co-inventing model checking and for contributions to the development and verification of real-time and embedded systems.