Daniel Diaz's Home Page

Position

• Assistant Professor (Maître de Conférences)

  University of Paris 1 - Pantheon Sorbonne (FRANCE)
  Member of the  CRI (Reaserch Center on Computing Science)
  email: Daniel.Diaz@univ-paris1.fr

• Previsouly: external Collaborator

  INRIA center Rocquencourt  (FRANCE)
  Member of the Contraintes Project
  

Research Topics

• Logic Programming
• Constraint Programming
• Local Search and parallelism

Publications

Curriculum Vitae (in french)

Softwares

• GNU Prolog: a Prolog native compiler with constraint solving over Finite Domains

  GNU Prolog is based on two previous compilers I wrote (no longer maintained):

  • wamcc : a compiler translating Prolog to C
  • clp(FD) : a Constraint Logic Programming language over Finite Domains
    

• Adaptive Search Library: a Library to Solve CSPs by a local search method.

Miscellaneous