Academic appointments

• Associate Professor, Department of Philosophy, McGill University, since 2014

• Associate member, School of Computer Science, McGill University, since 2007—2023
• Assistant Professor, Department of Philosophy, McGill University, 2009—2014
• Faculty lecturer, Department of Philosophy, McGill University, 2006—2009
• Course lecturer, Department of Philosophy, McGill University, 2005—2006

Research fellowships

• Visiting Researcher at Department of Philosophy, University of Vienna, Austria. Oct 2023
• Humboldt Research Fellowship for Experienced Researchers at Munich Center for Mathematical Philosophy (MCMP), Ludwig-Maximilians-Universität, Munich, Germany. Sep 2016—Aug 2017 and Jan—Jun 2018
• Visiting Researcher at Université de Lorraine, Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré, UMR 7117 CNRS. Nancy, France. Jun 2014
• Research Fellow at Center for Interdisciplinary Research (ZIF), Bielefeld, Germany. Jan—Feb 2012
• Visiting Researcher at Université Paris VII (Diderot), SPHERE and Département d'Histoire et Philosophie des Sciences, Paris, France. Jan—Apr 2010

Other positions

McGill University

• Chair, History and Philosophy of Science Program Committee, 2014—2016, since 2018
• Chair, Governance and Transparency Committee, Dept. of Philosophy, 2017—2023
• Director of Undergraduate Studies, Department of Philosophy, 2012—2016

Professional associations and societies

• Association for the Philosophy of Mathematical Practice (APMP):
  ◦ Directive Committee member, since 2014
  ◦ President, 2016—2020. Steering Committee member, 2014—2020.

• Canadian Society for History and Philosophy of Mathematics (CSHPM):
  ◦ Past-President 2018—2020. President 2016—2018. Vice-President 2014—2016. Treasurer 2010—2014.

Editorial activities

• Editorial Board member, Historia Logicae, College Publications, since 2020
• Editorial Board member, The Collected Works of Rudolf Carnap, since 2006
• Editorial Board member, The Bernays Project, since 2000

Research grants

Current

• Insight Grant, SSHRC, Principal Investigator. 2021—2026

Completed

• SSHRC:
  ◦ Insight Grant, SSHRC, Principal Investigator. 2016—2020
  ◦ Insight Grant, SSHRC, Co-applicant. 2012—2016
  ◦ Standard Research Grant, SSHRC, Co-applicant. 2008—2011
  ◦ Standard Research Grant, SSHRC, Principal investigator. 2007—2010
  
• FQRSC/FRQSC:
  ◦ Soutien aux équipes de recherche, FQRSC, Co-applicant. 2010—2014
  ◦ Établissement de nouveaux professeurs-chercheurs, FQRSC, PI. 2010—2013
  
• McGill:
  ◦ McGill Arts Undergraduate Research Internship Award (ARIA), Supervisor: 2022, 2019, 2018, 2017, 2014 (2x), 2013, 2012 (2x), 2011, 2010
• DFG (German Research Foundation):
  ◦  Dualität – ein Archetypus mathematischen Denkens, DFG, Cooperation partner. 2016—2019
  ◦ Team-grant for the establishment of a new scientific network, PhiMSAMP: Philosophy of Mathematics: Sociological Aspects and Mathematical Practice, DFG, Co-applicant (15 members). 2006—2010

Education

• Ph.D., Logic, Computation and Methodology, Carnegie Mellon University, 2005.
  Dissertation: "Axiomatics as Engine for Driving Discovery in Mathematics and Science" (Advisor: Clark Glymour)
• M.Sc., Logic, Computation and Methodology, Carnegie Mellon University, 2000.
  Thesis: "Richard Dedekind — Axiomatic Foundations of Mathematics" (Advisor: Wilfried Sieg)
• Dipl.-Inf., Technical University Darmstadt, 1997.
  Thesis: "Intuitionism and Computer Science" (Advisor: Christoph Kreitz)