Associate professor of computer science (INF/01) at the Faculty of Letters and Philosophy
Main interests: implementation of functional languages, type
systems, Linear Logic, optimal reduction, lambda calculus, computational complexity.
Publications
Curriculum Vitae
Academic year 2006/2007:
Academic year 2005/2006:
Academic year 2004/2005:
Academic year 2003/2004:
Academic year 2002/2003:
Academic year 2001/2002:
Academic year 2000/2001: