He received a Ph.D. and a Habilitation in Computer Science from the Université Pierre et Marie Curie (Paris VI) in 1986 and 1993, and a D.Sc. in Computer Science from the University of Aarhus in 2006. He serves as co-Editor-in-Chief of the Journal Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation) and as associate editor of the Journal of Functional Programming and of the Journal of Computing Science and Engineering. He has authored over 120 peer-reviewed articles and in 2004 was recognized as the most thanked Computer Scientist in a study that included 335,000 publications. He has also supervised 18 Ph.D. students to date.