Yann Régis-gianas
Head Of Engineering at Nomadic Labs
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolYann Régis-gianas is Head of Engineering at Nomadic Labs with 11 years blending deep computer-science research and hands-on software engineering to advance the Tezos blockchain. He leads 40 engineers (30+ with PhDs) across multiple product teams, driving safety-critical, high-throughput systems such as enshrined optimistic rollups and a demonstrated 1M TPS rollup prototype. A former associate professor and Coq contributor, he brings formal verification and mechanically-checked development to production smart-contract platforms, having verified AMM logic and engineered major execution speedups for Tezos. Comfortable moving between research, technical communication, and large-scale project management, he cultivates tight feedback loops with ecosystem partners to ship auditable, high-assurance blockchain infrastructure.
11 years of coding experience
15 years of employment as a software developer
Habilitation Informatique, Habilitation Informatique at Université Paris CitéEngineer's degree Computer Science, Engineer's degree Computer Science at EPITA: Ecole d'Ingénieurs en InformatiqueMaster Computer science, Master Computer science at Laboratoire de Recherche et Développement de l'EPITA
English
Stackoverflow
111reputation
721reached
2answers
1question
Github Skills (131)
parser10
agda10
web-application10
mathematical10
ppx10
edtech10
opam10
dependent-types10
corpus10
proofs10
multicore10
package-repository10
coq10
idris10
gleam10
Programming languages (11)
Github contributions (5)
yurug/get-gitlab-forks
Jul 2020 - Dec 2020
Retrieve all the forks of a gitlab project
Contributions:1 release, 16 commits, 14 pushes in 5 months
gitlab-apigitlabforksretrieve
colis-anr/lintshell
Jun 2017 - Mar 2019
A user-extensible lint for POSIX shell
Contributions:15 commits, 1 PR, 10 pushes in 1 year 9 months
posixlinterlintlintingshellcheck
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.