french

click
photo by M. Arovas
Yves LAFONT

professor at Université de la Méditerranée (Aix-Marseille 2)

research at Institut de Mathématiques de Luminy (Équipe de Logique de la Programmation)
teaching at Faculté des Sciences de Luminy

address: Institut de Mathématiques de Luminy - 163 avenue de Luminy, Case 907 - 13288 Marseille CEDEX 9
office: 227 - phone: +33 4 91 26 96 37 - fax: +33 4 91 26 96 55 - e-mail: lafont@iml.univ-mrs.fr



Research areas: proof theory - theory of computation - homotopical algebra

Ph.D. students:
Pierre Rannou (2007 - ) ; Sylvain Lippi (1998 - 2002) ; Tom Krantz (1998 - 1999) ; Virgile Mogbil (1996 - 2001) ; Arnaud Fleury (1996) ; Anne Massol (1993 - 1997)

Recent collaborators: Albert Burroni ; Patrick Dehornoy ; Yves Guiraud ; François Métayer ; Krzysztof Worytkiewicz

Recent talks: Recent meetings:
Film: Interaction Combinators (cartoon, 1995) [avi, wmv, mp4]

Preprints:
Recent papers:
Bibliography



Teaching - Scientific popularization - Various links: see the french version of my home page