Dale Miller

Director of Research at INRIA Saclay - Île-de-France. Team leader of Parsifal.

Laboratoire d'Informatique, LIX phone: +33 (0)1 69 33 41 34
École Polytechnique, Route de Saclay fax: +33 (0)1 69 33 40 49
91128 PALAISEAU Cedex FRANCE email: dale.miller at inria.fr

Information for visitors. My office is room 00-1009. A calendar of what is happening at LIX. The time and weather in Paris.

Research Interests

Keywords: Computational logic, programming language theory, proof theory, automated deduction.

Languages and systems: Tac, Teyjus, Abella, Bedwyr, λProlog, Lolli, Forum.

Various projects: Parsifal, Comète, Typical, ProVal.

Funded programs: REDO, INFER, Slimmer, Mobius.

Bibliography & CV

See my list of papers and talks and my academic genealogy. My CV is available in html, pdf, dvi, postscript, and Portuguese.

Teaching & Training

I am proposing an internship ("stage") for 2010. In March 2010, I will teach a graduate course at the University of Milan. In April 2009, I taught a graduate course at the Dipartimento di Informatica, Università Ca' Foscari Venezia. I regularly lecture at MPRI (Master Parisien de Recherche en Informatique) in the Course 2-1: Logique linéaire et paradigmes logiques du calcul. My current PhD students are Ivan Gazeau, Anne-Laure Schneider, and Alexandre Viel. My former PhD and MS students.

Editorial & Professional Duties

ACM Transactions on Computational Logic: Editor-in-chief (effective 1 June 2009) and Area editor for Proof Theory.
Journal of Automated Reasoning: Member of the Editorial Board.
Journal of Applied logic: Scientific Area Editor. Elsevier.
Journal of Functional and Logic Programming: Editorial Board member.
Journal of Logic and Computation: Editorial Board member. Oxford University Press.
Theory and Practice of Logic Programming: Advisory Board member. Cambridge University Press.
Association for Logic Programming (ALP): Executive Committee member.

Meetings

Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS), 5 July 2010. PC member.
Workshop on Proof Systems for Program Logics, FLoC 2010, Edinburgh, 10 July 2010. PC member.
Workshop on Proof-Search in Type Theories, FLoC 2010, Edinburgh, 15 July 2010. PC member.
Workshop on Logics, Agents, and Mobility, FLoC 2010, Edinburgh, 15 July 2010. PC member.

Miscellaneous

For a photo of me, see the end of this album. I am married to Catuscia Palamidessi and we have two children: Nadia and Alexis. Some humor for mid-day distractions.