|
Joseph SifakisUniversité Grenoble AlpesFrance |
G2R World Ranking 1441st
G2R France Ranking 21st
H-Index & Metrics
| Google H-index | 64 |
| Number of Google Citations | 20,312 |
| 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.
External Links
View other scientists in:
Profile was last updated at April 15, 2021, 9:25 am
Guide2Research Ranking is based on Google Scholar H-Index.
Report Missing or Incorrect Information
Guide2Research Ranking is based on Google Scholar H-Index.
