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.
25 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 (41)
structures10
french10
python10
utf10
bengali10
lgbt10
factor10
prolog10
gnu10
modular9
database-access9
programming-language9
unicode9
clang8
toolchain8
Programming languages (7)
Github contributions (5)
tadashi9e/gprolog-utf8
Sep 2000 - Jun 2017
GNU PROLOG with utf-8 support
Contributions:544 commits in 16 years 11 months
utflgbtfactorutf-8gnu
didoudiaz/gprolog
Jan 2013 - Dec 2022
GNU Prolog
Contributions:1 release, 287 commits, 4 PRs in 10 years
database-accessgnupostsprolog
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.