
Дмитрий Мордвинов
Биография
Окончил кафедру системного программирования Санкт-Петербургского Государственного Университета. Принимал участие в различных R&D проектах. После стажировки в Университете Вашингтона в 2016 году в основном работает над подходами к композициональной неограничиваемой верификации (в приложении к .NET Framework).
Профессиональная деятельность
- Формальная верификация (символьное исполнение, решатели ограниченных дизъюнктов Хорна, индуктивные инварианты)
- Синтез программ
- Языки программирования
- Системы типов
- Робототехника
- Визуальные языки
Публикации
- Proceedings of 19th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2019, Октябрь 2019
- 33rd European Conference on Object-Oriented Programming (ECOOP 2019), Июль 2019
-
SMT-based analysis of constraints on .NET typesCEUR: 44-52, 2018
-
Synchronizing constrained horn clausesLPAR, EPiC Series in Computing. EasyChair, 2017
-
TRIK studio: Technical introductionOpen Innovations Association (FRUCT), 2017 20th Conference of. IEEE, 2017
-
Verifying Safety of Functional Programs with Rosette/Unbound2017
-
Survey on formal methods in roboticsSPbSPU Journal. Computer Science. Telecommunication and Control Systems, no. 1(236), 84–107, 2016
-
Лаборатория языковых инструментов Исследователь
- Группа формальной верификации