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

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


Исследовательские группы

Биография

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

Обучение:

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

July 2019

A. Misonizhnik, D. Mordvinov

33rd European Conference on Object-Oriented Programming (ECOOP 2019)

Подробнее