Mathias Winckel
Consultant Technique Senior - Deputy Chief Technology Officer at Addventa
Greater Toulouse Metropolitan Area France
Summary
👤
Senior🎓
Top SchoolMathias Winckel is a senior technical consultant and Deputy CTO based in the Greater Toulouse area with nine years of experience bridging formal research and production software engineering. Trained at Université Paul Sabatier and having worked as a research attaché at IRIT, he brings deep expertise in applied logic, program verification, and certified developments (Coq) to industrial AI and safety-critical projects. At Addventa he progressed from NLG-focused AI consulting to a strategic technical leadership role, delivering pragmatic solutions that connect formal methods with natural language and ML deployments. Earlier work includes functional safety consultancy and low-level content integration, reflecting a comfort with both rigorous proofs and hands-on engineering. He is notable for translating academic advances in graph rewriting and dynamic logic into practical, auditable software practice. Fluent in French and experienced across research and consultancy contexts, he excels at turning complex verification needs into deployable, maintainable systems.
9 years of coding experience
Master 2 Recherche, Informatique et Télécommunications, Master 2 Recherche, Informatique et Télécommunications at Université Paul Sabatier (Toulouse III)
Github Skills (12)
rendering7
pug7
natural-language-generation6
template-engine6
browser5
markup-language5
javascript5
nodejs5
python1
nlp1
natural-language-processing1
nlg1
Programming languages (2)
Github contributions (5)
addventa/WriteNowNLG
Jan 2020 - Dec 2022
CoreNLG is an easy to use and productivity oriented Python library for Natural Language Generation. It aims to provide the essential tools for developers to structure and write NLG projects.
Contributions:3 PRs, 16 pushes, 1 branch in 2 years 11 months
nlppython-librarypythonnlgnatural-language-generation
addventa/rosaenlg
Jul 2021 - Sep 2022
RosaeNLG is a Natural Language Generation library for node.js and browser rendering, based on the Pug template engine.
Contributions:22 pushes, 9 branches in 1 year 1 month
template-enginebrowsernatural-language-generationnode-jspug
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.