key

Mathias Péron

Senior Software Developer at MathWorks

reach me - curriculum vitæ in

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.

research - talks

Furthermore, I take a little time to advocate for Amnesty International.

some links - amnesty

Mathias Péron

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”