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.

Bibliography & CV

ACM Transactions on Computational Logic: (co)Editor-in-chief and Area editor for Proof Theory. Instructions for submitting to ToCL.
Journal of Automated Reasoning: Member of the Editorial Board.
Journal of Applied logic: Scientific Area Editor. Elsevier.
Journal of Logic and Computation: Editorial Board member. Oxford University Press.
Theory and Practice of Logic Programming: Advisory Board member. Cambridge University Press.

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

Funded programs: ProofCert: Broad Spectrum Proof Certificates, an ERC Advanced Investigator Grant funded for the five years 2012-2016. Also: Eternal, CPP, Panda, Structural, RAPT.

I am proposing two internships ("stages") for 2011-2012. I regularly lecture at MPRI (Master Parisien de Recherche en Informatique) in the Course 2-1: Logique linéaire et paradigmes logiques du calcul. In recent years, I have also taught graduate courses at the Universities of Pisa (September 2011), Milan (March 2010), and Ca' Foscari Venezia (April 2009). My current PhD students are Ivan Gazeau and Anne-Laure Schneider. I have supervised a number of PhD and MS students.

LPAR-18: The 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Merida, Venezuela, March 11-15, 2012. PC member.
FICS 2012: Fixed Points in Computer Science, a satellite workshop of ETAPS 2012, Tallinn, Estonia, 24 March. Program Committee co-Chair.
Special Session on Structural Proof Theory and Computing at the 2012 ASL Annual Meeting, Madison, Wisconsin, 31 March 31 - 3 April 2012. Organizer. See tentative program.
LAM 2012: Logics, Agents, and Mobility, 2011. A satellite workshop to the 33rd Conference on Theory and Application of Petri Nets and Concurrency, Hamburg, 25 or 26 June 2012. PC member.
IJCAR 2012: International Joint Conference of Automated Reasoning, Manchester, UK, June 2012. Program Committee co-Chair.

A photo of me is here and at 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.