Дмитрий Мордвинов
Huawei, главный академический консультант СПбГУ, доцент, действующий лектор
Занимается статистическим анализом программ и символьным исполнением.
Бывший глава группы формальных методов в JetBrains Research. Успешно применяет научные методы в продакшене. Публикуется на топовых конференциях по языкам программирования (PLDI, ECOOP, FMCAD, ETAPS). Автор символьной виртуальной машины V#. Выиграл соревнования по выводу инвариантов программ. Получил новые теоретические результаты, работая с системой типов .NET.
Почти всё свободное время проводит вне дома. Бегает марафоны, ультрамарафоны, трейлы, занимается горным туризмом, спортивным ориентированием, водным туризмом. Иногда играет в шахматы и HOMM3
Расскажет про UnitTestBot www.utbot.or — научно выверенный инструмент для синтеза полного тестового покрытия и глубокого анализа кода без ложных срабатываний.
Советует прочесть:
- Chen Chung Chang, Howard Jerome Keisler «Model theory»
- Neil Immerman «Descriptive complexity»
