Honary Doctorate: for his contributions to Embedded Systems verification

Pris: Priser, stipendier, udnævnelser

Organisationerfrom Ecole Normale Superiure Cachan