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.
Chacun allait se retrouver dans un univers à la mesure de l'acuité des ses sens naturels, de la longueur de ses membres, de la force de ses muscles...
Barjavel, “Ravage”