معرفی
Didier Galmiche is a Professor of Computer Science at Université de Lorraine, where he serves as Scientific Leader of the TYPES Group (Logic, Proof Theory and Programming) and Director of the Master Programme in Computer Science. He directs the DEPEND Erasmus Mundus Joint MSc in Advanced Systems Dependability.
His research centers on computational logic, automated deduction, and formal verification, with specific interests in proof-search methods, substructural logics, and logical modeling of concurrent systems. The TYPES group develops software tools for theorem proving including IBiS, SigBi, STRIP, and BILL.
Recent publications focus on separation logic, epistemic logics, and tableaux methods, demonstrating applications in program verification and automated reasoning. His work shows consistent innovation in proof-theoretic approaches across intuitionistic, linear, and non-commutative logics.
He leads multiple research initiatives including the OPERATION CONTRA project studying logical methods for system reliability. No scientific awards are mentioned in the provided materials.
Galmiche heads the TYPES group at LORIA UMR 7503, collaborating with researchers including Nicolas Biri and Daniel Mery.
