Watch recording

Sergey Bronnikov
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.