Daniel Diaz
Associate Professor Researcher
Greater Paris Metropolitan Region France
Summary
👤
Senior🎓
Top SchoolDaniel Diaz is an Associate Professor of Computer Science at Université Paris 1 (Panthéon-Sorbonne) with 25 years of experience researching and teaching in AI-related fields such as combinatorial optimization, logic programming implementation, constraint solvers, and parallelism. He is the author of GNU Prolog, an open-source native Prolog compiler with an integrated finite-domain constraint solver, reflecting a rare blend of theoretical depth and production-quality systems engineering. His career spans academia and industry collaboration—including a long-term role at Paris 1 and consulting for Holiwave—underscoring practical impact beyond publications. Trained with a PhD prepared at INRIA Rocquencourt, he combines rigorous formal methods knowledge with hands-on implementation skills that have influenced both research and tooling in logic programming.
26 years of coding experience
Licence, Informatique, Licence, Informatique at Université Bourgogne EuropeUniversité Panthéon Sorbonne (Paris I) / IAE ParisMaitrise, Informatique, Maitrise, Informatique at Aix-Marseille UniversityDoctorat (PhD) préparé à l'INRIA Rocquencourt sous la direction de Philippe Codognet, Computer Science, Mention très honorable avec les félicitations du Jury, Doctorat (PhD) préparé à l'INRIA Rocquencourt sous la direction de Philippe Codognet, Computer Science, Mention très honorable avec les félicitations du Jury at Université d'Orléans
French, English, Spanish
Github Skills (31)
python10
utf10
prolog10
gnu10
programming-language9
toolchain8
wordnet8
llvm7
mingw-w647
relational-databases7
compiler6
msys6
oop6
prolog-interpreter5
prolog-programming-language5
Programming languages (9)
Github contributions (5)
tadashi9e/gprolog-utf8
Sep 2000 - Jun 2017
GNU PROLOG with utf-8 support
Contributions:544 commits in 16 years 11 months
gnuprologutf
didoudiaz/AdaptiveSearch
Mar 2011 - Dec 2021
Contributions:12 commits, 8 pushes, 1 branch in 10 years 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.