Nicolas Pouillard

Type Theory Hacker

Infos

Event(s):
32. Chaos Communication Congress, 30. Chaos Communication Congress
Language(s):
English
Track(s):
Science, Science & Engineering
Links:
Agda
crypto-agda
DemTech
Home Page

<p> 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. <p/> <p> 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. </p> <p> I learned programming and computer science at the engineering school of EPITA in Paris. <p/>

Statistics

Nothing yet? :(
Create more subtitles!

0.0% Checking done0.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
100.0% Nothing done yet100.0%