Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Dale Miller

Dale Miller

Director of Research at INRIA-Futurs and Professor (part-time) at the École Polytechnique.
Team leader of Parsifal.

Laboratoire d'Informatique, LIX	phone: +33 (0)1 69 33 38 03
École Polytechnique, Rue de Saclay	fax: +33 (0)1 69 33 30 14
91128 PALAISEAU Cedex FRANCE	email: dale.miller at inria.fr

Directions to LIX. My office is room 00-1009. What time is it in Paris? I am traveling: 27-30 Nov

Teaching & Training

At DIX: Département d'Enseignement et de Recherche en Informatique at École Polytechnique.

Fall 2005: INF 542: Théorie des automates, langages formels, calculabilité. My PC is taught in English. Some material on this course are available.
Spring 2006: Prof Jouannaud and I will be teaching INF 585: Logic for Computer Science again in 2006. The course material for spring 2005 is still available.

Propositions for internships and thesis (Updated Nov 2005).

Research Interests

Keywords: Declarative programming; operational semantics; computational logic, proof theory, linear logic; automated deduction, unification, proof search. Students: David Baelde, Alexis Saurin, and Axelle Ziegler. Former students. Logic programming languages: λProlog, Lolli, Forum. Various projects: Parsifal, Comète, Logical. Funded programs: Vallauris, Slimmer, Rossignol, GeoCal, Mobius.

Bibliography & CV

Most of my papers are available: present-2000, 1999-1990, 1989-1970. My CV is available in HTML, PDF, DVI and PostScript formats (also in Portuguese). My academic genealogy.

Editorial and Professional Duties

ACM Transactions on Computational Logic (TOCL): Area editor for Proof Theory.
Journal of Logic and Computation: Member of the Editorial Board. Oxford University Press.
Theory and Practice of Logic Programming: Member of Advisory Board. Cambridge University Press.
Journal of Functional and Logic Programming: Member of the Editorial Board. An Electronic Journal published by EAPLS.
Association for Logic Programming (ALP): Member of the Executive Committee.

Conferences

ESHOL'05: Empirically Successful Automated Reasoning in Higher-Order Logics, 2 December, Montego Bay, Jamaica (associated with LPAR'05). Accepted paper.
LPAR'05: 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. 2 - 6 December, Montego Bay, Jamaica. Accepted paper.
Workshop on Logic Programming and Concurrency, 27 Feb - 3 Mar 2005, CIRM, Luminy, France. To be held during the Winter School on Geometry of Computation (Geocal'06) in Marseille - Luminy, January 30 - March 3. Organizer.
TFIT'06: Taiwanese-French Conference on Information Technology, Nancy, France. 28-30 March 2006. Program Committee.
ICLP'06: International Conference on Logic Programming. To be held as part of FloC in Seattle, Washington 10-22 August 2006.
LFMTP'06: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice.

Miscellaneous

A photo of me. I am married to Catuscia Palamidessi and we have two children: Nadia and Alexis. Some humor for mid-day distractions.