Dale Miller

Registered user since Fri 7 Dec 2018

Name:Dale Miller
Bio:

Dale Miller received his Ph.D. in Mathematics in 1983 from Carnegie Mellon University. He has been a professor at the University of Pennsylvania and Ecole Polytechnique (France) and Department Head in Computer Science and Engineering at Pennsylvania State University. He has held visiting positions at the universities of Aix-Marseille, Sienna, Genoa, Pisa, and Edinburgh. He is currently Director of Research at Inria-Saclay where he is the Scientific Leader of the Parsifal team.

Miller was a two-term editor-in-chief of the ACM Transactions on Computational Logic. He is a member of editorial board of the Journal of Automated Reasoning. In 2014 he was a PC chair for CSL and LICS. He was awarded an ERC Advanced Grant in 2011 and the LICS Test-of-Time awards in 2011 and 2014 for papers written in 1991 and 1994. Miller works on various topics in computational logic including proof theory, automated reasoning, logic programming, unification theory, operational semantics, and proof certificates. He is an ACM Fellow.

Country:France
Affiliation:INRIA Saclay and LIX
Research interests:Computational logic, proof theory

Contributions

FLOPS 2024 PC Chair in Program Chairs
CPP 2024 Steering Committee Member in Steering Committee within the CPP 2024-track
CPP 2023 Committee Member in Steering Committee within the CPP 2023-track
CPP 2022 Committee Member in Steering Committee within the CPP 2022-track
CPP 2021 Steering Committee Member in Steering Committee within the CPP 2021-track
SLE 2020 Author of Extrinsically Typed Operational Semantics for Functional Languages within the SLE-track
CPP 2019 Author of A Proof-Theoretic Approach to Certifying Skolemization within the CPP 2019-track
HOPE 2018 Author of Functional programming with MLTS within the HOPE 2018-track
FSCD 2017 Program Chair of Welcome message within the FSCD 2017-track
PADL 2017 Author of Proof checking and logic programming within the PADL-track
CPP 2016 Committee Member in Program Committee within the CPP-track