Professeur de logique, philosophie des sciences et fondements des mathématiques au département de philosophie de l’Université de Montréal. Ses recherches touchent à plusieurs aspects de la philosophie des sciences et de la philosophie des mathématiques. Il a publié un livre sur l’histoire et la philosophie de la théorie des catégories ainsi que plusieurs articles sur la vérité, la logique catégorique, la topologie algébrique et les fondements des mathématiques.