The Prosecco Team
kristina.sojakova AT inria.fr
Since Spring 2020 I have been a research member of the
, working on the formal verification of cryptographic protocols.
Formerly I was a postdoc at
In August 2016 I received a PhD in Computer Science from
Carnegie Mellon University
. My advisors were
. My primary involvement while at CMU was in the
Homotopy Type Theory
Before Cornell I was working with
on developing a framework for (higher dimensional) parametricity for System F.
My interests include privacy and security, type theory, logic, category theory, and programming languages.
My publications can be found
My CV can be found