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

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

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

Выступления в сезоне 2022