
Александр Мисонижник
Исследовательские группы
Биография
Исследовательские интересы: символьное исполнение, формальная верификация, теория типов.
Обучение:
- В 2018 году окончил бакалавриат матмеха СПбГУ по специальности «Математическое обеспечение и администрирование информационных систем». Дипломную работу писал на тему «Композициональные частично определенные типы в символьном интерпретаторе для платформы .NET Framework»;
- В 2021 году окончил магистратуру матмеха СПбГУ по специальности «Математическое обеспечение и администрирование информационных систем». Дипломную работу писал на тему «Автоматическая генерация тестовых данных для платформы LLVM».
Публикации:
- Aleksandr Misonizhnik, Dmitry Mordvinov, "On Satisfiability of NominalSubtyping with Variance". LIPIcs 134, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2019;
- Kostyukov Yu.O., Batoev K.A., Mordvinov D.A., Kostitsyn M.P., MisonizhnikA.V. "Automatic verification of heap-manipulating programs". Trudy ISP RAN/Proc.ISP RAS, 2019.
Публикации
On Satisfiability of Nominal Type Systems With Variance
Июль 2019
A. Misonizhnik, D. Mordvinov
33rd European Conference on Object-Oriented Programming (ECOOP 2019)