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

Биография

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

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

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

Публикации

  • D. Mordvinov, G. Fedyukovich
    Property Directed Inference of Relational Invariants
    Proceedings of 19th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2019, Октябрь 2019
  • A. Misonizhnik, D. Mordvinov
    On Satisfiability of Nominal Type Systems With Variance
    33rd European Conference on Object-Oriented Programming (ECOOP 2019), Июль 2019
  • Aleksandr Misonizhnik and Dmitry Mordvinov
    SMT-based analysis of constraints on .NET types
    CEUR: 44-52, 2018
  • Mordvinov, Dmitry, and Grigory Fedyukovich
    Synchronizing constrained horn clauses
    LPAR, EPiC Series in Computing. EasyChair, 2017
  • 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
  • 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