Ronan Saillard

:: About me

I am no longer at CRI.

I am a PhD student at the Computer Science Research Center (CRI) of MINES ParisTech, working under the supervision of Pierre Jouvelot and Olivier Hermant.

I am also a member of the INRIA team Deducteam.

Email ronan dot saillard at cri dot ensmp dot fr / ronan dot saillard at inria dot fr
Phone +33 (1) 64 69 48 33
Office R.05
Address 35 rue Saint-Honoré 77305 Fontainebleau, France

:: Publications

:: Software

I am a developer of Dedukti.