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:
CPP, Panda,
REDO,
INFER,
Slimmer
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 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.
Editorial & Professional Duties
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.
Meetings
- 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.
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.