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

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


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

Биография

Окончил кафедру системного программирования Санкт-Петербургского Государственного Университета. Принимал участие в различных 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