Honary Doctorate: for his contributions to Embedded Systems verification

Prize: Other prizes

Granting Organisationsfrom Ecole Normale Superiure Cachan