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

Дмитрий — исследователь в JetBrains Research и старший преподаватель Санкт-Петербургского Государственного Университета. Закончил кафедру системного программирования СПбГУ и защитил докторскую в 2021 году. С 2019 руководит группой формальной верификацией в лаборатории языковых инструментов JetBrains Research. Дмитрий работает над теорией и практикой символьного исполнения и автоматического вывода индуктивных инвариантов. Его область научных интереснов включает верификацию программного обеспечения, символьное исполнение, теорию типов и теорию моделей.