H-Index & Metrics

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 67 Citations 28,057 262 World Ranking 1278 National Ranking 767

Research.com Recognitions

Awards & Achievements

2014 - ACM Fellow For contributions to efficient and capable SAT solvers, and accurate embedded software models.

2002 - IEEE Fellow For contributions to electronic design automation techniques in logic and embedded software synthesis.

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