Dmitry Ivanov

Dmitry Ivanov

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.

Talks from 2025 season

Speaker
- TalkDate: 18.09 / Start: 00:00 – Finish: 00:00
  TBA
  - Dmitry Ivanov
    Yandex
  Hall 1In RussianComplexity -

Other talks

Watch recording
Symbolic execution in .NET: Automated tests generation, verification, and program synthesis
- Dmitry Ivanov
  Huawei
- Dmitry Mordvinov
  JetBrains Research
In RussianComplexity -
No record
Async programming in .NET: Best practices
- Dmitry Ivanov
  Huawei
In RussianComplexity -