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.

• Aristote, éthique, physique et métaphysique, délibération (bouleusis), décision (boulesis), choix délibéré (prohairesis), autosuffisance (autarkeia), dialectique, méthodes argumentatives et outils conceptuels aristotéliciens.
• Philosophie grecque et éthique fondamentale.
• Liberté humaine, responsabilité, acte volontaire.
• Temporalité, simultanéité et effectivité chez Aristote, en physique et logique moderne.
• Logique, informatique théorique, philosophie des mathématiques, thèorèmes de Godel, enumérabilité effective, computabilité, complexité. 
• Philosophie analytique (théorie des actes de langage).
• Méthodes de conception logicielle, conceptualité et applications du paradigme orienté-objet.
• Patrons de conception (Design Patterns) et patrons architecturaux (Architectural Patterns), refactorisation et conception piloté par le domaine (Domain-Driven Design).
• Traitement de l'image (approche multirésolution et transformée en ondelettes, débruitage).
• Intelligence artificielle, philosophie computationelle, sciences cognitives.
• Moralité robotique, transparence, explicabilité et interrogeabilité des algorithmes d'apprentissage profond.
• Interprétations gadamérienne et heideggérienne d'Aristote.
• Collaboration multidisciplinaire, reproductibilité et partage des données.
• Neuroinformatique.