Nicolas's current areas of research/interests are a mixture of Functional programming/Type Theory and Cryptography/Security.
He is currently working for Liqd.net on the AuLa project (open source and written in Haskell) aiming at bringing liquid democracy to students.
Previously, he was a postdoc researcher with the Demtech project at IT Univeristy of Copenhagen focusing on formalizing cryptographic voting protoctols in type theory.
Before that, he was an engineer and then a PhD student in the Gallium research team at INRIA Paris Rocquencourt. At that time, he was mainly focused on the design of programming languages and in particular meta-programming.
He learned programming and computer science at the engineering school of EPITA in Paris.
Talks I've Given
Ling, a language with predictable fusion
Featuring Nicolas Pouillard
Ling is an experimental programming language combining the precision of a system-level programming language and the abstraction and safety of a pure, functional programming language.haskell haskell-x ling fusion type-theory language-design linearity optimization system-programming