Кирилл Гарманов

Разработчик в инфраструктурном департаменте ВКонтакте, где поддерживаю и развиваю несколько высоконагруженных OLAP-систем.

Также увлекаюсь верификацией и тестированием, помогаю применять concrete methods и dynamic verification для проверки свойств реальных программ. В основном работаю с верификацией под слабыми моделями памяти, например RC11.