Nicolas Pouillard
Co-Founder at Self-employed
Angers, Pays de la Loire, France
Summary
🤩
Rockstar🎓
Top SchoolNicolas Pouillard is a co-founder and seasoned functional programmer with 20 years of experience blending research-grade type theory with practical language and tooling work. With a PhD focused on safe meta-programming and a post-doc formalizing cryptography in type theory, he brings deep expertise in Haskell, OCaml, Agda and compiler internals to both research and production code. As a freelancer and contributor to core projects like OCaml, Agda stdlib, and the widely used Haskell text library, he routinely uncovers subtle bugs in parsing, chunking and typing systems while improving testability. His background includes industrial compiler development and renovations of Camlp4, showing he’s comfortable evolving both language infrastructure and application-level tools such as the Sup mail client. Based in Angers, France, he describes himself as a “Type Theory Hacker” — a succinct signal that he prefers principled, provable solutions over ad-hoc fixes.
20 years of coding experience
5 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at Université Denis Diderot (Paris VII)Engineer's degree, Computer science, Engineer's degree, Computer science at EPITA: Ecole d'Ingénieurs en Informatique
Stackoverflow
336reputation
665reached
2answers
0questions
Github Skills (33)
tui10
debug10
agda10
sendmail10
send-email10
ocaml10
standard-library10
ruby10
e-mail10
plaintext10
parsing10
mu10
compiler10
c-library10
common-library10
Programming languages (21)
Github contributions (5)
ocaml/ocaml
Jan 2006 - Feb 2011
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:784 commits in 5 years 1 month
Contributions summary:Nicolas appears to be contributing to the core OCaml system, making bug fixes and merging updates to the Camlp4 library. The commits involve modifications to the grammar, printing, and parsing components of the language, indicating involvement in the compiler's internal workings. This suggests a focus on maintaining and improving the OCaml language's core functionality, particularly in areas related to parsing and code generation.
functional-languagecompilersruntime-systemapllwt
agda/agda-stdlib
Nov 2009 - Jul 2015
The Agda standard library
Role in this project:Back-end Developer
Back-end DeveloperContributions:45 commits, 10 pushes, 4 comments in 5 years 8 months
Contributions summary:Nicolas primarily contributed to the Agda standard library, focusing on enhancements and generalizations within various modules. Their work included adding a Set annotation to the Data.Graph.Acyclic module, generalizing Maybe, and List using universe polymorphism. They also declared IO as a builtin, upgraded the Reflection module to align with Agda's API, and made improvements to the Reflection module, including adding projections for Arg-info.
dependent-typesagdahomotopy-type-theorystandard-library
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.