IMDEA Software

Iniciativa IMDEA

Inicio > Personal

Nikita Zyuzin

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

PhD Student

Nikita Zyuzin
Instituto IMDEA Software

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

Tutor: Aleks Nanevski

Intereses de Investigación

Programming languages, logic, and type theory.