Benoît Razet

English

Doctorant en Informatique à l'INRIA Rocquencourt, sous la direction de Gérard Huet.

CV

Recherche

Théorie des automates, Machines d'Eilenberg, Algèbres de Kleene, programmation fonctionnelle, preuves formelles d'algorithmes, applications à la linguistique computationnelle.

Publications

[1] The Reactive Engine for Modular Transducers. with Gérard Huet. In Algebra, Meaning and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Kokichi Futatsugi, Jean-Pierre Jouannaud and José Meseguer Eds. Springer LNCS 4060, 2006, pp. 355-374.

[ pdf | bib ].

[2] Finite Eilenberg Machines . CIAA 2008. Springer LNCS 5148, 2008, pp. 242-251. [ pdf | bib ].

[3] Simulating Finite Eilenberg Machines with a Reactive Engine . MFSP 2008. To appear in Electronic Notes in Theoretical Computer Science. [ pdf ].

[4] Computing with Relational Machines. with Gérard Huet. Tutorial given at ICON 2008, Pune, December 2008. [ pdf ].

Exposés

La liste des exposés est disponible ici.

Contact

INRIA Rocquencourt, Domaine de Voluceau,

B.P. 105, 78153 Le Chesnay, France

Phone: (33) 1 39 63 58 15

Email: