Talk
TBA
Dmitry Ivanov
Yandex
Yandex
I manage the SourceCraft development platform at Yandex. Prior to that, led the laboratory of innovative development tools at Huawei. Ex-techlead of JetBrains Rider.
I periodically teach mathematical logic in computer science at Sirius.
Yandex