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
[go: Go Back, main page]

Dale Miller

Director of Research at INRIA-Futurs. 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
Information for visitors. My office is room 00-1009. What is the time and weather in Paris?

Teaching & Training

At MPRI (Master Parisien de Recherche en Informatique), I gave five lectures in English during Course 2-1: Logique linéaire et paradigmes logiques du calcul.

Current PhD students: David Baelde, Olivier Delande, Vivek Nigam, and Alexis Saurin. My former PhD and MS students.

Research Interests

Languages and systems: Bedwyr, λProlog, Lolli, Forum.

Various projects: Parsifal, Comète, Logical.

Funded programs: INFER, Slimmer, Mobius.

Bibliography & CV

Publications: 2000-present, 1990-99, 1970-89. CV (also pdf, dvi, postscript, and Portuguese). Academic genealogy.

Editorial and Professional Duties

ACM Transactions on Computational Logic (TOCL): Area editor for Proof Theory.
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.
Association for Logic Programming (ALP): Executive Committee member.
Principles and Practice of Declarative Programming (PPDP): Steering Committee member.

Meetings

WoLLIC'07: Fourteenth Workshop on Logic, Language, Information and Computation, Rio de Janeiro, 2-5 July 2007. Program Committee member.
LFMTP'07: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, affiliated with CADE-21, Bremen, Germany, 16 July 2007. Program Committee member.
CADE-21: 21st Conference on Automated Deduction, 17 - 20 July 2007, Bremen, Germany. Program Committee member and co-author.
CSL 2007: 16th EACSL Annual Conference on Computer Science and Logic, Lausanne, Switzerland, 11-15 September 2007. Co-author of accepted paper.
PPDP 2007: 9th International Symposium on Principles and Practice of Declarative Programming (colocated with LICS 2007, ICALP 2007, and LC 2007), 14-16 July 2007, Wrocław, Poland. Steering Committee member.
FLOPS 2008: Ninth International Symposium on Functional and Logic Programming, 14-16 April 2008, Ise, Japan. PC member.
FOSSACS 2008: Foundations of Software Science and Computation Structures (a member conference of ETAPS), Budapest, March 29 - April 6, 2008, Budapest. Program Committee member.

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.