✓
🟢
Active Research Lab • Accepting 2026–2027 Inquiries
Dr. Kaustuv C***
Directeur de recherche
📍 Laboratoire d'informatique de l'École polytechnique [Palaiseau]
•
INRIA
440
Total Citations
7
H-Index
36
Peer-Reviewed Works
🔬 Primary Research Focus & Keywords
Unification
Intuitionistic Logic
Automated Theorem Proving
Automating
Proof
Search
Equality
Logical
Connective
Designing
Forward
Chaining
Tactic
Using
Productive
Proofs
Proof checking
Trust
Theorem proving
About
Experimental
Framework
Heterogeneous
Verification
Heterogeneous Verification
Distributed Verification
Formal
Reasoning
Distributed
Assertions
Distributing
Trusting
📚 Laboratory Publications & Research Record
2024
Peer-Reviewed Article
📊 22 citations
Advancements in Unification: 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]
Dale M***
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]
Gilles F***
Chargé de recherche • Laboratoire d'informatique de l'École polytechnique [Palaiseau]