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
  

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