Nicolas's current areas of research/interests are a mixture of Functional programming/Type Theory and Cryptography/Security.

He is currently working for 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.

Nicolas tweets at @npouillard, and his website can be found at

Talks I've Given