• 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
 
• External Collaborator

INRIA  center Rocquencourt  (FRANCE)
Member of the Contraintes Project
email: Daniel.Diaz@inria.fr

• Programming Language Design
• Logic Programming
• Constraint Programming
• Local Search

Curriculum Vitae (in french) another version

Softwares (download area)

• 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.

• Formule Renault training #1
• Formule Renault training #2