Loïc HENRY-GRÉARD

Address:

CMA
INRIA projet MEIJE
2004 Route des Lucioles
06902 Sophia-Antipolis Cedex
FRANCE

Tel : +33 (0)4 92 38 79 68
Fax: +33 (0)4 92 38 79 98
Email: lhenrygr@cma.inria.fr
 

Research interests:

• Synchronous Languages
• Digital circuit synthesis from high level specification

Current position:

• Thesis subject:  Modular code generation, verification and optimisation for Esterel
• Advisor:  Gerard Berry
• Laboratory: ENSMP/CMA in Sophia-Antipolis.

Previous work:

Coding of a monadic pi-calculus, typed with directionality information for names, in the COQ theorem prover, using syntactic differentiation of free and bound names, and proof of subject reduction properties of each kind of transition as an application of the coding.

S ubject: Proving subject reduction properties on a pi-calculus coded in the  COQ theorem prover
Advisors: Joelle Despeyroux (CROAP), Davide Sangiorgi (MEIJE).
Files:  param_pi.tar.gz
Report (in french) :   postscript
Report (in english) :   DVI beta version  (to come as INRIA research report)

iclc