Version 1.5b Castle in the Sky

Speaker: Nicolas Pouillard

Person large b94babab6617c8f2f22cf93982fbe28ed7cc2499122fa363c8598bf14d591561

Type Theory Hacker


My current areas of research are a mixture of Type Theory and Cryptography/Security.

I'm currently postdoc researcher with the Demtech project at IT Univeristy of Copenhagen.


Previously I was an engineer and then a PhD student in the Gallium research team at INRIA Paris Rocquencourt. At that time I was mainly focused on the design of programming languages and in particular meta-programming.


I learned programming and computer science at the engineering school of EPITA in Paris.


Archived page - Impressum/Datenschutz