IMDEA initiative

Home > People

Nikita Zyuzin

MSc - Max Planck Institute for Software Systems / Saarland University, Germany

PhD Student

Nikita Zyuzin
IMDEA Software Institute

Office: 344
Telephone: +34 91-101-2202 ext 4331
Email: Nikita Zyuzin e-mail
Home Page: https://software.imdea.org/~nikita.zyuzin/

Adviser: Aleks Nanevski

Research Interests

Programming languages, logic, and type theory.