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

• Type Checking in the Lambda-Pi-Calculus Modulo: Theory and Practice (Thesis Manuscript, draft). PDF
• Rewriting Modulo beta in the lambda-Pi-Calculus Modulo (LFMTP '15). PDF PDF (long version)
• Towards Explicit Rewrite Rules in the lambda-Pi-Calculus Modulo (IWIL '13). PDF Slides

:: Software

I am a developer of Dedukti.

---