Dmitry Ivanov

Dmitry Ivanov

Yandex

TBA.

Talks from 2025 season

Speaker
- TalkDate: 18.09 / Start: 00:00 – Finish: 00:00
  TBA
  - Dmitry Ivanov
    Yandex
  In 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 -