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.

Funded programs: CPP, Panda, REDO, INFER, Slimmer

I am proposing an internship ("stage") for 2010. In March 2010, I taught 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. I have supervised a number of PhD and MS students.

ACM Transactions on Computational Logic: (co)Editor-in-chief 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.

IJCAR 2010: The 5th Intern. Joint Conf. on Automated Reasoning Edinburgh, UK, July 16-19, 2010. Accepted paper.
FICS 2010: 7th Workshop on Fixed Points in Computer Science, Brno, Czech Republic, 21-22 August 2010, a satellite workshop to MFCS & CSL 2010. Invited speaker.
IFIP-TCS: 6th IFIP International Conference on Theoretical Computer Science, 20-23 September 2010, Brisbane, Australia. PC member of Track B: Logic, Semantics, Specification and Verification.
LPAR-17: 17th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Yogyakarta, Indonesia, 11-15 October. PC member.
APLAS 2010: Eighth Asian Symposium on Programming Languages and Systems, Shanghai Jiao Tong University, China, 28 November - 1 December 2010. Invited speaker.
LICS 2011: 2011 IEEE Symposium on Logic in Computer Science, Fields Institute in Toronto, Canada, 21-24 June 2011. PC member.
PLS8: 8th Panhellenic Logic Symposium, Ioannina, Greece, July 4-8, 2011. Invited tutorial speaker.
LMPS 2011: 14th International Congress of Logic, Methodology and Philosophy of Science, Nancy, France, 19-26 July 2011. Invited speaker in Section C: Methodological and Philosophical Issues of Particular Sciences, Subsection C1: Logic, Mathematics and Computer Science.

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.