Joseph Sifakis

École polytechnique fédérale de Lausanne
Switzerland

H-Index & Metrics

Google H-index 60
Number of Google Citations 17,407
Guide2Research World Ranking 763rd
Guide2Research National Ranking (Switzerland) 26th
Number of Articles on DBLP 178

Awards & Achievements

  • 2012 - ACM Fellows 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.

External Links

View other scientists in:



Profile was last updated at November 7, 2017, 4:32 pm
Guide2Research Ranking is based on Google Scholar H-Index.