Education
Doctor ès Sciences, Mathematics, University Joseph Fourier, Grenoble, France, 1978.
D.Eng., Computer Science, University Joseph Fourier, Grenoble, France, 1974.
Research Interests
Abstract interpretation, semantics, verifcation, and static analysis.