Dmitry Ivanov

I manage the SourceCraft development platform at Yandex. Prior to that, I led the laboratory of innovative development tools at Huawei. Ex-technology of JetBrains Rider. I periodically teach mathematical logic in computer science at Sirius and, on a voluntary basis, I work as chairman of the state Examination Committee at St. Petersburg State University.