Sergey Bronnikov

Sergey Bronnikov

Company: VK/Tarantool

Developer at Tarantool. In the past, has done a lot of software testing and worked on various projects: Parallels Desktop for Mac, Virtuozzo/OpenVZ, PostgreSQL, OpenBSD, KasperskyOS.

Interested in randomized testing, formal verification and software specification. He likes sports, so at different times he has done cross-country skiing, long-distance running and boxing.

Talks from 2022 Autumn season