Авторы

Карпов Андрей

Андрей Карпов является техническим директором в компании ООО «Системы программной верификации», где занимается разработкой инструментов статического анализа исходного кода. Несколько лет работал в Научный центре «ГДТ Софтвер Гроуп», где приобрел уникальный опыт разработки ресурсоемких приложений в области численного моделирования и визуализации. Именно там обратил внимание, на недостаточный набор инструментов, позволяющий обнаруживать дефекты в 64-битных приложениях, работающих с большим объемом памяти. Это и стало отправной точкой в создании статического анализатора Viva64, а затем пакета PVS-Studio.

Сайт: http://www.viva64.com/ru/

Партнеры конференции

Напишите нам, мы онлайн!