Start of main content

Yury Gribov

Yury Gribov

Tool developer: compilers, verification tools.

Talks from 2023 season

Watch recording
Talk type: Talk
How to Write Comparators Correctly
- Yury Gribov
- Talk in Russian
- Back to Basics