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
See my list of
papers and talks, my CV
(html, pdf), and
my academic genealogy.
Editorial & Professional Duties
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.
Research Interests
Keywords: Computational logic, programming language theory, proof
theory, linear
logic, automated deduction.
Languages and systems:
λProlog,
Teyjus,
Abella,
Bedwyr,
Tac,
Lolli,
Forum.
Various projects:
Parsifal,
Comète,
Typical,
ProVal.
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.
Teaching & Training
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.
Meetings
- 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 - 3
April 2012. Organizer.
- Reception for Peter Andrews on the ocassion of his retirement.
Some personal words offered
at the event and the scientific
talks presented.
- Cross
Perspectives on Proof Systems and their significance, a
workshop. May 3, 2012 – ENS, 45 rue d'Ulm 75005 Paris. Speaker.
- Pisa Summer
Workshop on Proof Theory, 12-15 June 2012. Contributed paper.
- 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.
- CASC-J6:
ATP System Competition, 2012. Panelist.
- LFMTP'12: Workshop on Logical
Frameworks and Meta-Languages: Theory and Practice, 9 September,
Copenhagen, Denmark. PC member.
- CPP
2012: Second International Conference on Certified
Proofs and Programs, 13-15 December 2012, Japan. Program
Committee co-Chair.
Miscellaneous
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.