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.
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: