Joseph Sifakis

Université Grenoble Alpes
France

G2R World Ranking 1186th

G2R France Ranking 19th

H-Index & Metrics

Google H-index 63
Number of Google Citations 19,497
Number of Articles on DBLP 199

Awards & Achievements

  • 2012 - ACM Fellow For contributions to hardware and software verification technology.
  • 2007 - Turing Award
  • 2007 - ACM A. M. Turing Award Together with Edmund Clarke and E. Allen Emerson, for their role in developing Model-Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.
Profile was last updated at May 16, 2020, 10:42 am
Guide2Research Ranking is based on Google Scholar H-Index.
Report Missing or Incorrect Information