Kirill Garmanov

I’m a software engineer in the infrastructure department at VK, where I work with several high-load OLAP systems.

Besides software engineering, I’m interested in software verification and in the application of concrete methods for verifying real-world concurrent programs, and I have contributed to some well-known model checkers. My primary interest is the verification and testing of concurrent programs under weak memory models, such as RC11 and DRC11.