Arnaud Bailly
Team Lead & Architect at Cardano Foundation
Nantes, Pays de la Loire, France
Summary
🤩
Rockstar🎓
Top SchoolArnaud Bailly is a Senior Quantitative Developer with 16 years of experience blending functional programming, distributed systems and finance to design robust, production-grade platforms. He has led architecture and R&D efforts at Input Output and Cardano Foundation, applying formal methods (Agda) and Haskell/Rust prototyping to scale blockchain algorithms. Comfortable both as an individual contributor and team lead, he champions XP practices, TDD and collective code ownership to grow effective engineering teams. A prolific Haskell practitioner and contributor to projects like servant—where he improved client extensibility and code quality—he pairs deep type-driven design with pragmatic Java and systems engineering. Based in Nantes, he brings a rare mix of academic rigor (PhD in Computer Science) and hands-on startup and fintech execution, having co-founded and CTO’d multiple ventures. Expect a leader who moves smoothly between formal specification, benchmark-driven prototyping and operational delivery.
16 years of coding experience
28 years of employment as a software developer
PHD Computer Science, PHD Computer Science at University of Lille 1 Sciences and TechnologyMaster Business administration, Master Business administration at SKEMA Business School
French, English, Spanish, Chinese
Stackoverflow
4,608reputation
204kreached
28answers
75questions
Github Skills (11)
functional-programming10
typeclass10
servant10
api-design10
haskell10
http6
go6
single-responsibility-principle6
ssl6
parsing6
java6
Programming languages (24)
Github contributions (5)
haskell-servant/servant
Aug 2017 - Sep 2017
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 reviews, 5 commits, 1 PR in 7 days
Contributions summary:Arnaud focused on enhancing the `servant` Haskell DSL. Their contributions involved exposing client runners as a typeclass, which likely improves the flexibility and extensibility of the library. They also extracted an `http-client` module and provided convenience functions for `ClientM`-based clients. Further, they cleaned up compiler warnings, demonstrating a focus on code quality.
web-applicationsservingqueryinghaskelldsl
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.