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

Contextual Modal Types for Algebraic Effects and Handlers Nikita Zyuzin, Aleksandar Nanevski; ICFP 2021 [paper] [extended version] [talk]
Contextual Modal Types for Algebraic Effects and Handlers Nikita Zyuzin, Aleksandar Nanevski; TYPES 2020 [paper]
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4 Heiko Becker, Nikita Zyuzin, Raphael Monat, Eva Darulova, Magnus O. Myreen, and Anthony Fox; FMCAD 2018 [paper]

PL Reading Group

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

Contact

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