معرفی
Dale Miller is a Research Professor at Inria Saclay, with affiliations at the Laboratoire d'Informatique (LIX) and Institut Polytechnique de Paris. He previously served as a Professor at the University of Pennsylvania, École Polytechnique (France), and as Department Head at Pennsylvania State University. He holds a Ph.D. in Mathematics from Carnegie Mellon University (1983), supervised by Peter Andrews.
Research interests span computational logic, proof theory, automated reasoning, logic programming, unification, operational semantics, and proof certificates. His work unifies logical foundations with computational applications, particularly in higher-order logic programming and theorem proving.
- Key contributions include the Abella and Bedwyr theorem provers, λProlog language, and foundational research on proof certificates.
- He has received the ERC Advanced Grant (2012-2016), Dov Gabbay Prize (2023), and LICS Test-of-Time Awards (2011, 2014).
Students advised include Farah Al Wardani, Jui-Hsuan Wu, Matteo Manighetti, and Zakaria Chihani, among others. He leads the Partout team at Inria, focusing on logical frameworks and verification.
