Nikita Zyuzin

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

I am interested in programming languages, logic, and type theory. My current project seeks to combine algebraic effects with modal types.

Publications and Drafts

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.