Mes recherches portent principalement sur des questions de logique, fondements des mathématiques et de la philosophie des mathématiques. Elles se découpent grossièrement en trois champs qui s'entrecoupent: la portée philosophique et les applications de la logique catégorique, les fondements des mathématiques dérivant de la théorie des catégories et, finalement, l'épistémologie et l'ontologie des mathématiques contemporaines.