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 (34)

cryptocurrency10
cardano10
plutus10
haskell10
strongly-typed9
command-line-interface9
scaling9
purescript9
blockchain9
idris9
functional-programming-language9
golden-tests8
dependent-types8
javascript8
scripting8

Programming languages (9)

IdrisShellDhallMakefileJavaScriptHaskellJupyter NotebookNix

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