Honary Doctorate: for his contributions to Embedded Systems verification

Prize: Other prizes

Organisationsfrom Ecole Normale Superiure Cachan