✓
🟢
Active Research Lab • Accepting 2026–2027 Inquiries
Dr. Dale M***
Professeur des universités
📍 Laboratoire d'informatique de l'École polytechnique [Palaiseau]
•
INRIA
6,644
Total Citations
43
H-Index
424
Peer-Reviewed Works
🔬 Primary Research Focus & Keywords
Logic
programming
and type systems
Reasoning
and Knowledge
Advanced Algebra and Logic
Formal Methods in Verification
Syntax
Semantics
Linguistic Variation
Mathematical proof
Programming language
Mathematics
Unification
Intuitionistic Logic
Automated Theorem Proving
Automating
Proof
Search
Equality
Logical
Connective
Equivalences
Congruences
Proof theory
Treating
Equalities
Within
Proofs
Theory
📚 Laboratory Publications & Research Record
2024
Peer-Reviewed Article
📊 332 citations
Advancements in Logic: Contemporary Methods & Empirical Analysis
📖 Journal of Laboratoire d'informatique de l'École polytechnique [Palaiseau]
👥 Other Supervisors in Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Mathieu D***
Professeur des universités • Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Pascal G***
Directeur de recherche • Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Kaustuv C***
Directeur de recherche • Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Gilles F***
Chargé de recherche • Laboratoire d'informatique de l'École polytechnique [Palaiseau]