Дмитрий Мордвинов

Биография

Окончил кафедру системного программирования Санкт-Петербургского Государственного Университета. Принимал участие в различных R&D проектах. После стажировки в Университете Вашингтона в 2016 году в основном работает над подходами к композициональной неограничиваемой верификации (в приложении к .NET Framework).

Профессиональная деятельность

  • Формальная верификация (символьное исполнение, решатели ограниченных дизъюнктов Хорна, индуктивные инварианты)
  • Синтез программ
  • Языки программирования
  • Системы типов
  • Робототехника
  • Визуальные языки

Публикации

  • Aleksandr Misonizhnik and Dmitry Mordvinov
    SMT-based analysis of constraints on .NET types
    CEUR: 44-52, 2018
  • Mordvinov Dmitry, Yurii Litvinov, and Timofey Bryksin
    TRIK studio: Technical introduction
    Open Innovations Association (FRUCT), 2017 20th Conference of. IEEE, 2017
  • Dmitry Mordvinov and Grigory Fedyukovich
    Verifying Safety of Functional Programs with Rosette/Unbound
    2017
  • Mordvinov, Dmitry, and Grigory Fedyukovich
    Synchronizing constrained horn clauses
    LPAR, EPiC Series in Computing. EasyChair, 2017
  • D. A. Mordvinov, Yu. V. Litvinov
    Survey on formal methods in robotics
    SPbSPU Journal. Computer Science. Telecommunication and Control Systems, no. 1(236), 84–107, 2016