Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Dale Miler

Registered user since Fri 7 Dec 2018

Name: Dale Miler

Bio: Dale Miller received his PhD 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 (classe exceptionnelle) at Inria Saclay where he was the Scientific Leader of the Parsifal team for 12 years.

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. He is the General Chair for LICS until 2021. 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.

Country: France

Affiliation: INRIA Saclay and LIX

Personal website: http://www.lix.polytechnique.fr/Labo/Dale.Miller/

Research interests: Computational logic, proof theory, formalized meta-theory, automated reasoning, logic programming


SLE 2020Author of Extrinsically Typed Operational Semantics for Functional Languages within the SLE-track
Show activities from other conferences

Using general profile