Fellowships and awards

9/84-9/85 I.T.T. Fellow. Philosophy Department, Stanford University.

7/93-7/94 Morse Fellowship, Yale University.

7/93-8/94 Alexander von Humboldt fellowship, Institut für Philosophie, Wissenschaftstheorie und Wissenschaftsgeschichte, Technische Universität, Berlin.

9/94-6/95 Fellow at the Whitney Humanities Center, Yale University.

10/97-7/98 Fellow at the Wissenschaftskolleg zu Berlin, Germany

1999-2002 Scholar Award, National Science Foundation (Science and Technology Studies Program)

2004-2005, Directeur de Recherche Associé au CNRS, Paris

5/08-6/08, Invited Professor at the École Normale Supérieure, Paris; Fellow at Institut d’Études Avancées-Paris

2008 Guggenheim Fellow

2009, Spring term, National Humanities Center Fellowship, [declined]

2009, Spring term, Member, Institute for Advanced Study, Princeton

1/14- 6/14, Fellowship as visiting professor at the Center for Mathematical Philosophy of the Ludwig-Maximilians-Universität, Munich

November-December 2017, Senior Visiting Fellowship, Dept. of Philosophy, State University of Milan

1/18-7/18, Carl Friedrich von Siemens-Forschungspreis der Alexander von Humboldt Stiftung. Visiting professor at at the Center for Mathematical Philosophy of the Ludwig-Maximilians-Universität, Munich

10/2018 Awarded Prix Jean Cavaillès for “Infini, logique, géométrie”(Vrin, Paris, 2015).

June 2021-July 2022, Chaire d’excellence internationale Blaise Pascal, Université de Paris I Panthéon-Sorbonne, Paris.

1/2023, Awarded Shoenfield Prize (2022) of the Association for Symbolic Logic for “An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs”, (Oxford University Press, Oxford, 2021)”. The description of the Schoenfiled Prize is at the following link