Marie-Claude Gaudel

MathSciNet


These d'Etat Institut National Polytechnique de Lorraine 1980 France
Dissertation: Generation et Preuve de Compilateurs basees sur une semantique formelle des langages de programmation

Advisor 1: Claude Pair

Student:

NameSchoolYearDescendants
Le Gall, PascaleUniversité Paris-Sud XI - Orsay19931

According to our current on-line database, Marie-Claude Gaudel has 1 student and 2 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 143621 for the advisor ID.