Nikita Zyuzin

I am a PhD Student at IMDEA Software Institute, working with Marco Guarnieri. Previously, I have done my MSc at MPI-SWS and Saarland University, working with Eva Darulova.

I am interested in programming languages and security. In particular, in applying type theory and verification techniques to reason about security properties of programs. My current project is in secure compilation.

Publications and Drafts

PL Reading Group

Find the schedule and reading list for Programming Languages Reading Group at IMDEA here.


Reach me by email email or find me on twitter and github.