Dale Miller

Dale Miller is a Director of Research at Inria-Saclay in France. Previously, he was on the faculty of the University of Pennsylvania, Penn State University, and École Polytechnique. His main research interest is structural proof theory and its application to computational logic. Dale Miller has been a two-term Editor-in-Chief of the ACM Transactions on Computational Logic and the General Chair of LICS. He is the recipient of two LICS Test-of-Time Awards, an ERC Advanced Grant, and the Dov Gabbay Prize for Logic and Foundations. He is an ACM Fellow.