Thomas Schiex
Chair Holder at INRAE
Toulouse, Occitania, France
Summary
👤
Senior🎓
Top SchoolThomas Schiex is a seasoned AI scientist and research leader based in Toulouse with over three decades of research experience and 11 years in senior roles, currently holding the "Design with Intuition and Logic" chair at ANITI Toulouse and serving as Research Director at INRAE. His expertise spans neuro-symbolic AI, automated reasoning, machine/deep learning, discrete optimization and computational biology, with applied interests in protein design and energy optimization. He combines formal automated reasoning with practical deep learning techniques to tackle complex, discrete scientific problems that bridge theory and engineering. Thomas has a strong academic foundation with a PhD in AI and a background in real-time systems from École Centrale, and a long-standing commitment to the constraint programming community through leadership roles. Colleagues value his ability to translate rigorous theoretical methods into impactful, interdisciplinary research and design. An uncommon strength is his sustained blend of symbolic methods and energy-based optimization applied to real-world biological design challenges.
11 years of coding experience
3 years of employment as a software developer
Engineer, General engineering with a final year in real time computer science, Engineer, General engineering with a final year in real time computer science at Ecole centrale de ParisPhD, Computer Science (artificial intelligence: functional programming), PhD, Computer Science (artificial intelligence: functional programming) at Université Paul Sabatier (Toulouse III)
English, German, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (46)
apple-silicon10
iobroker10
solver10
graphical-models10
combinatorial-optimization10
parsing10
home-assistant10
zigbee10
tuya9
home-automation9
blender8
wifi8
proteins8
mqtt8
virtualization8
Programming languages (6)
Github contributions (5)
toulbar2/toulbar2
Mar 2015 - Nov 2020
Exact optimization for cost function networks and additive graphical models
Contributions:3 releases, 209 commits, 1 PR in 5 years 9 months
graphical-modelscombinatorial-optimizationcost-function-networktropical-semiringsolver
tschiex/toulbar2-diverse
Jul 2018 - Nov 2018
Exact optimization for cost function networks and additive graphical models
Contributions:23 pushes in 4 months
optimizationgraphical-modelsgraphicaladditivecost-function
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.