Daniel Diaz's Home Page

Position

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

  University of Paris 1 - Pantheon Sorbonne (FRANCE)
  Member of the  CRI (Reaserch Center on Computing Science)  here is my CRI web page
  email: daniel.diaz@univ-paris1.fr
  Phone : +33 1 44 07 89 61
  Fax: +33 1 44 07 89 54
  

• Previously: external Collaborator

  INRIA center Rocquencourt  (FRANCE)
  Member of the Contraintes Project
  

Research Topics

• Logic Programming
• Constraint Programming
• Local Search and Parallelism

Teaching materials (in french - support de cours)

• Cours de Programmation Orientée Objet pour L3 MIAGE
• Cours de Compilation pour M1 MIAGE
• Aide-mémoire GNU Prolog pour M1 MIAGE
• Cours de BD

Publications

• List of publications
• List of publications and CV from the French HAL Site
• Google Scholar Profile

Curriculum Vitae (resume)

• 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