H-Index & Metrics

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 110 Citations 55,692 489 World Ranking 140 National Ranking 1

Research.com Recognitions

Awards & Achievements

2015 - The Royal Society Milner Award For fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems.

2006 - ACM Fellow

2006 - IEEE Fellow For contributions to the verification of real-time and hybrid systems.

Profile was last updated at May 16, 2021, 10:48 am
Research.com Ranking is based on Google Scholar H-Index.