Projects

  1. The Formal Turn - The Emergence of Formalism in Twentieth-Century Thought, ERC Consolidator Grant, 09/2022 - 08/2027, (Project website)

  2. The Roots of Mathematical Structuralism, ERC Starting Grant, 03/2017-02/2022 (Project website)

  3. Mathematics: Objectivity by Representation (MathObRe), co-funded by ANR-DFG, (Section "Theoretical terms vs. mathematical terms"), Project member, 15/06/2015 -14/05/2017

  4. The Emergence of Mathematical Structuralism: Mathematical and Philosophical Perspectives, FWF Stand Alone Project, FWF (P27718), 01/2015-02/2017

  5. Between Logicism and Metalogic: Nonfoundational Uses of Type Theory, Erwin Schrödinger fellowship, FWF (J3158-G17), 04/2011-05/2014

  6. Carnap’s Early Semantics, DOC-Grant, Austrian Academy of Sciences, 01/2008 - 12/2009