I am interested in static analysis of numerical programs, in particular the analysis of arrays contents.
I teach compilation theory, software engineering and programming, notably in ocaml.
Furthermore, I take a little time to advocate for Amnesty International.
Ulysse - [...] Les nations, comme les hommes, meurent d'imperceptibles impolitesses. [...]
Jean Giraudoux, “La guerre de Troie n'aura pas lieu”, II, 13