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

Дмитрий возглавляет исследовательскую группу символьного исполнения в Huawei, а также читает лекции в Санкт-Петербургском Государственном Университете. Ранее он возглавлял группу формальных методов в JetBrains Research, а также работал в нескольких стартапах.