Александр Мисонижник

Исследовательские интересы: символьное исполнение, формальная верификация, теория типов.

Обучение:

• В 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.