Thierry Coquand - Curriculum Vitae#

Born 18/04/1961, Jallieu (Isère, France)

Education

• 1980 École Normale Supérieure Ulm, Paris (ranked 1st)
• 1982 Agrégation de mathematique (ranked 1st)
• 1985 PhD in computer science, Paris VII

Work Experience

• 1985-89 Charge de recherche, INRIA
• 1985 Visiting scientist, Carnegie Mellon University
• 1989 Directeur de recherche, INRIA
• 1990-1991 Visiting scientist, Chalmers University of Technology
• 1991-1996 Research fellow, Chalmers University of Technology
• 1996- Professor, University of Gothenburg Distinctions, scholarships and awards
• Wallmarska prize, 2001, from the Swedish Royal Academy of Science
• Skolem lecturer, Oslo, November 2005
• Kurt Gödel centenary reasearch prize fellowship, category senior, 2008, a personal prize of $ 120 000 US
• ERC Advanced Grant holder, 2010
• Member of the Concil of the Association for Symbolic Logic, January 2011
• Member of the Royal Society of Arts and Sciences in Gothenburg, 2011

Expert Assignments

• International INRIA expert 2006, for the theme Symbolic Computations
• Member of the Jury junior de l'Institut Universitaire de France 2007 and 2008
• International AERES expert, december 2010
• Member of the Ackermann award Jury, 2010 and 2011
• Co-organizer of a year-long special program at the Institute of Advanced Study, Princeton, devoted to the Univalent Foundations Program, together with Steve Awodey and Vladimir Voevodsky

Citations

According to Harzing, the Hirsh Index is 28 with more than 4000 citations.

Organizer and member of program committees

• Co-organizer, together with Steve Awodey and Vladimir Voevodsky, of a year-long special program at the Institute of Advanced Study, Princeton, devoted to the Univalent Foundations Program 2012-2013
• Program comittee member 14th congress of logic, methodology, and philosophy, Nancy, 2011
• He was organiser of an International summer school at the Centre for Theoretical Physics, Trieste, August 2008
• Co-organiser of three workshops in Formal Topology (1997, 2002 and 2007)
• Co-organiser a sequence of meetings on the theme \Mathematics, Algorithm and Proofs" (8 meeting between 2003 and 2010, in Dagstuhl, Luminy, Castro and Leiden) and summer schools in August, 2006, Genova and August 2008, Trieste.
• Program comittee member of conferences such as POPL, LICS, TLCA, ETAPS, ...

Ph.D. Students

Main supervisor of Hugo Herbelin, Paris VII, 1995, Lena Magnusson, Chalmers, 1995, Daniel Friedlender, Chalmers, 1997, Henrik Persson, Chalmers, 1999, Pierre Hyvernat, Marseille, 2005, David Wahlsted, 2007.

External Ph.D. examiner

• External PhD examiner for A. Polansky Oslo (2011), R. Zumkeller Orsay (2008), Matthieu Sozeau Orsay (2008), Mauricio Guillermo Paris (2008), I. Rummelhoff, Oslo (2007), D. Engel, Besançon (2007), A. Mahoubi, Paris (2006), Ph. Gerhardy, Aarhus (2006), B. van der Berg, Utrecht (2006), Jens Brage, Stockhom (2006), O. Hermand, Paris VII (2005), J. Carlström, Stockholm (2005), K. Aehlig, Munich (2003), B. Gregoire Paris VII (2003), J. Chrzaszc, Orsay (2003), P. Oliva, Aarhus (2003), B. Spitters (2003), F. Blanqui, Orsay, (2001), A. Miquel Paris VII (2001)
• External reviewer habilitation of A. Miquel, Paris, 2009 and G. Barthe, Sophia-Antipolis, 2004

Invited Talks

• International Congress of Logic, Methodology and Philosophy of Science, Uppsala, 1991 and Spain, 2003
• Foundations of Soft. Tech. and Theorerical Computer Sc., Madras, 1994
• Mathematics of Program Construction, Third Int. Conference, Kloster Irsee, Germany, 1995
• Computer Science Logic 97, Aarhus, 1997
• Logic Colloquium' 98, Prague, 1998
• Heyting symposium, Amsterdam, 1998
• Domain III, Birmingham, 2002
• Calculemus, Roma, 2003
• Workshop on the philosophy of mathematics, logicism, intuitionism and formalism, Uppsala Sweden, 2004
• Typed Lambda Calculus and Applications, 2005
• Computer Algebra and Applications, EACA 2006, September, Spain
• Calculability and constructivity : historical and philosophical aspects, November 2006, Paris
• Colloque de Cerisy on Intuitionism, June 2007
• ESOP 2008, Budapest
• Logic Colloquium, July 2009
• Computer Science Logic, September 2009
• 24th meeting of the Italian Logical Society, January 2011

Journals

• Editorial board of Journal of Functional Programming
• Editorial board of Math. Structures in Computer Science
• Editor for two special issues of the Annals of Pure and Applied Logic on Formal Topology
• Reviewer of books for Springer-Verlag (in constructive algebra) and for Princeton University Press (in proof theory)