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.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: