Nicolas Biri

Director Of Software Architecture at Input Output Group

France
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Nicolas Biri is a Director of Software Architecture at Input Output Group with 12 years of experience designing and leading engineering teams focused on strongly typed, functional languages and blockchain tooling. He has progressed through engineering and management roles at IOHK, leading the plutus-apps team and shaping Haskell-based developer tooling for the Cardano ecosystem. His background spans applied research and project leadership at Luxembourg's LIST, where he combined formal methods, metaprogramming (Idris), and analytics to deliver industrial and academic projects. A PhD-trained theoretician in logic and proofs, Nicolas brings rigorous, research-grade thinking to practical system architecture and quality assurance. He pairs deep technical fluency in Haskell, Idris, Scala and full‑stack NodeJS with proven grant‑writing and program management experience. Colleagues describe him as a typed‑code purist who turns formal ideas into developer-friendly blockchain infrastructure.
code12 years of coding experience
job18 years of employment as a software developer
bookPhD. Computer Science, PhD. Computer Science at Université Henri Poincaré, Nancy 1
languagesEnglish, French, German
github-logo-circle

Github Skills (60)

purescript10
cardano10
servant10
plutus10
strongly-typed9
dependent-types9
blockchain9
ghc9
ada9
tester9
hackage9
haskell9
functional-programming-language9
cabal9
metadata8

Programming languages (6)

IdrisShellDhallJavaScriptHaskellNix

Github contributions (5)

github-logo-circle
berewt/berewt.github.io

Jan 2015 - May 2018

Contributions:6 PRs, 71 pushes, 2 comments in 3 years 4 months
berewt/flexidisc

Jan 2019 - Dec 2019

Contributions:141 commits, 1 branch in 10 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.
Request Free Trial
Nicolas Biri - Director Of Software Architecture at Input Output Group