Philippe Malbos

délégation INRIA au sein de l'équipe πr² ,
Centre de recherche Paris - Rocquencourt ,
Laboratoire Preuves, Programmes et Systèmes,
Université Paris Diderot - Paris 7,
bureau 3032, bâtiment Sophie Germain, 75205 Paris Cedex 13,
Tel: (+33)(0)1 57 27 94 29

Institut Camille Jordan
Université Claude Bernard Lyon 1
43 boulevard du 11 novembre 1918
69622 Villeurbanne cedex
bureau 255, bâtiment Braconnier
Localisation : plan d'accès
Tel : (+33)(0)4 72 44 85 25
Fax : (+33)(0)4 72 43 16 87
Courriel : malbos % math.univ-lyon1.fr

Domaines d'intérêt

Algèbre homologique, sémantiques algébriques, systèmes de réécriture.
Conditions de fini-convergence des systèmes de réécriture.

Travaux récents

Actualités

Projets