Research Profile
My research lies at the intersection of formal logic, philosophy of the formal sciences, and symbolic artificial intelligence. I investigate the foundations of computation and reasoning, with particular attention to intensional logic, formal semantics, and formal ontologies.
A central thread in my work is the relationship between symbolic reasoning and human rationality. The formal sciences offer a unique vantage point for examining the structure and scope of rational thought. This perspective informs my engagement with contemporary questions in AI, including the epistemological and ethical implications of different computational paradigms.
My approach combines philosophical analysis with technical research: I hold a PhD in mathematics and computer science (Sorbonne) and work as a research scientist developing logic-based AI systems for program understanding. This dual grounding enables me to address foundational questions with both philosophical rigor and scientific practice.
Education
PhD Mathematics, Computer Science & Applications to the Humanities
Université Paris-Sorbonne (ED Concepts et Langage)
Toward a Logic of Movement
Supervisor: Prof. Jean-Pierre Desclés
Committee: M.-D. Popelard (chair), T. Pavel, L. Péridy, A. Pascu
Visiting Doctoral Student
University of Chicago
Department of Philosophy
M.A. Mathematics & Computer Science
Université Catholique de l'Ouest
M.Phil. Comparative Politics
Sciences Po Paris
Academic Positions
Associate Professor (Tenured), Program Director
Regis University, Denver — Computer Science
Assistant Professor
Regis University, Denver — Computer Science
Assistant Professor / Maître de conférences
Université Catholique de l'Ouest, Angers, France
Visiting Scholar / Teaching Assistant
University of Chicago
Research Positions
Research Scientist — Logic-Based AI and Formal Ontologies
Phase Change Software, Golden, USA
- Logic-based AI for program understanding and formal reasoning
- Design of formal ontologies and intensional semantic models
- Prototyping (Prolog, Haskell, Clojure) and reasoning engines
- Research outputs: publications and granted patents
Independent Consultant — Formal Verification
Analogia Entis Consulting (under NDA)
- Rigorous peer review of a novel computational complexity theory
- Full formalization in Lean 4 with Mathlib (0 sorries, all dependencies explicit)
- Construction of machine-verified counterexamples identifying soundness issues
- Multi-issue technical review across two major paper revisions
- Literature survey connecting the work to proof complexity, resolution lower bounds, and CSP theory
Research Affiliations
Institut Catholique de Paris
Affiliate Researcher — Team Esprit, Cognition et Artificialisation de l'Intelligence
Sorbonne Université — STIH
Associate Researcher — Computational Linguistics Group
Sorbonne Center for Artificial Intelligence (SCAI)
Visiting Scholar
Selected Publications
Formal Logic as Liberal Art
[Forthcoming] in Logic in all its dimensions, Springer Nature
Can Formal Logic Make Pure Chance Intelligible? Ladrière on the Eschatological Horizon of Reason
Logica Universalis (Springer Nature)
Bernanos, Heidegger and the Redemption of Technology
International Journal of Humanities Social Sciences and Education
AAAI Workshops (with Pandita, Bucuvalas, Chakarov & Richards)
The Logic of Action Applied to Intelligence
Hermès Science — Traitement automatique des langues naturelles
Patents
Conferences and Invited Talks
[Forthcoming] What Does It Mean for AI to Understand Code?
Colloque Logic In Question (LIQ2026), Paris, May 2026
Peut-on s'adresser à la machine à la deuxième personne ?
Séminaire Esprit, Cognition et Artificialisation de l'Intelligence, Institut Catholique de Paris, Paris, March 2026
AI as Mere Mimicry: Why Artificial Intelligence Lacks Ethical Agency?
Computer Ethics: Philosophical Enquiries (CEPE) 2025, Rome, September 2025
Le formalisme comme horizon : de l'algèbre de Viète à la logique de Curry
Centre François Viète, Nantes, October 2025
Can Formal Logic Make Pure Chance Intelligible? Ladrière on the Eschatological Horizon of Reason
Logica Universalis Webinar, May 2025
Can Formal Logic Make Pure Chance Intelligible? A Philosophical Inquiry into Logic, Chance, and Money through Jean Ladrière's Notion of Hope
1st World Congress on Logic, Chance and Money, University of Nevada at Las Vegas, November 2024
Mathematics as a Unifying Principle in Liberal Arts
Andersen College Annual Conference, Denver, October 2024
Ontologies as Formal Systems: the case of Records-in-Context
InterPARES Symposium, Regis University, Denver, October 2024
InterPARES-Trust-AI project: Can we leverage AI for RiC-O?
International study day on early implementations of Records in Contexts, Archives Nationales de France, Paris, November 2023
Intensional ILP at the crossroad of logic and AI
Anderson College conference, Denver, CO, October 2023
Logic-based Intensional AI for Records-in-Context Ontologies
InterPARES Symposium, San Benedetto, July 2023
Au croisement entre logique et intelligence artificielle : une approche intensionnelle de la programmation logique inductive
Seminar, Institut de Mathématiques Appliquées, Université Catholique de l'Ouest, Angers, May 2023
An Intensional Interpretation of Generic Statements
Logica Universalis Webinar, Paris, April 2023
Can we combine logical analysis and machine learning? A NLP use case
Datacraft Workshops, Paris, July 2022
Logic-based AI in archival ontologies
SCAI-InterPARES Conference, Paris, June 2022
Round table on AI and archival science
SCAI-InterPARES Conference, Paris, June 2022
Logic-based intensional AI for the Record in Context ontology
ObTic Seminar, Paris, May 2022
Cohérence logique dans la transcription des coutumes
International congress Writing down the customs, Rennes, November 2021
How Combinatory Logic Can Limit Computing Complexity
7èmes Journées Désordre et Complexité, Paris, January 2020
Bernanos et la technique
Revue Résurrection, issue 167 event, Paris, March 2017
The Logic of Object Determination
Semantics and Philosophy of Language Workshop, University of Chicago, June 2012
Operators and Predicate in Intensional Logic
Formal Philosophy Workshop, University of Chicago, May 2012
Logical Contradiction in Collective Deliberation
Weissbourd Conference 2011, University of Chicago, May 2011
The logic of joint action
ACFAS 2010, Université de Montréal, May 2010
You and I: Identity in Collaboration
FODAR 2010, UQAM, March 2010
The logic of common attitudes
ACFAS 2007, Université du Québec à Trois-Rivières, May 2007
Teaching Experience
Logic and Theoretical Computer Science
- Computation Theory
- Formal Languages & Algorithms
- Principles of Programming Languages
- Introduction to Formal Logic
Philosophy of Science and Ethics
- Philosophy of Science
- History & Philosophy of Science
- Computer Science & AI Ethics
- Introduction to Philosophy
- Seminar: What Is Reality?
Applied Mathematics
- Calculus I & II
- Linear Algebra
- Statistics
- Operations Research
- Multidimensional Data Analysis
Editorial & Academic Service
Co-Editor, Special Issue
Philosophy of Management (Springer)
The AI Revolution: Perspectives from the Philosophy of Management
Member, Academic Council
Regis University
Communio France — Summer Seminars (co-founder)
- Balthasar, Truth is Symphonic — led by Jean-Robert Armogathe (2013)
- Balthasar, Love Alone is Credible — led by Rémi Brague (2014)
- Bernanos — led by Pierre-Alain Cahné (2015)
- Augustine, Confessions — led by Jean-Luc Marion (2016)
Prior Professional Experience
Management & Strategy Consultant
BearingPoint, Paris
Research Scientist Intern
Thales Group / Université du Québec
Computational Linguistics
General Interest Publications
Léon XVI face à Trump ?
Aleteia Magazine, March 2026
Le rôle de la technique
Revue Résurrection, 167