Дмитрий Мордвинов
Исследовательские группы
Биография
Окончил кафедру системного программирования Санкт-Петербургского Государственного Университета. Принимал участие в различных R&D проектах. После стажировки в Университете Вашингтона в 2016 году в основном работает над подходами к композициональной неограничиваемой верификации (в приложении к .NET Framework).
Профессиональная активность
- Формальная верификация (символьное исполнение, решатели ограниченных дизъюнктов Хорна, индуктивные инварианты)
- Синтез программ
- Языки программирования
- Системы типов
- Робототехника
- Визуальные языки
Публикации
Beyond the elementary representations of program invariants over algebraic data type
2021
Kostyukov Yurii, Dmitry Mordvinov, and Grigory Fedyukovich
Property Directed Inference of Relational Invariants
October 2019
D. Mordvinov, G. Fedyukovich
Proceedings of 19th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2019
On Satisfiability of Nominal Type Systems With Variance
July 2019
A. Misonizhnik, D. Mordvinov
33rd European Conference on Object-Oriented Programming (ECOOP 2019)
SMT-based analysis of constraints on .NET types
2018
Aleksandr Misonizhnik and Dmitry Mordvinov
CEUR: 44-52
Synchronizing constrained horn clauses
2017
Mordvinov, Dmitry, and Grigory Fedyukovich
LPAR, EPiC Series in Computing. EasyChair
Verifying Safety of Functional Programs with Rosette/Unbound
2017
Dmitry Mordvinov and Grigory Fedyukovich
TRIK studio: Technical introduction
2017
Mordvinov Dmitry, Yurii Litvinov, and Timofey Bryksin
Open Innovations Association (FRUCT), 2017 20th Conference of. IEEE
Survey on formal methods in robotics
2016
D. A. Mordvinov, Yu. V. Litvinov
SPbSPU Journal. Computer Science. Telecommunication and Control Systems, no. 1(236), 84–107