Professor Joseph Sifakis

Title
Professor
Organization
Universite Grenoble-Alpes
Election Year
2017
Primary Section
05. Computer Science & Engineering
Member Type
Foreign Member
Professor Joseph Sifakis
Election Citation
For co-inventing model checking and for contributions to the development and verification of real-time and embedded systems.