Version 1.5.9e last one standing
Referent: Nicolas Pouillard
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.
Links
Veranstaltungen auf dieser Konferenz
BREACH in Agda |