Joseph SifakisÉcole polytechnique fédérale de Lausanne
H-Index & Metrics
|Number of Google Citations||18,387|
|Guide2Research World Ranking||841st|
|Guide2Research National Ranking (Switzerland)||27th|
|Number of Articles on DBLP||188|
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.
View other scientists in:
Profile was last updated at January 13, 2019, 5:00 pm
Guide2Research Ranking is based on Google Scholar H-Index.