Научный журнал ISSN 1684-8853 English
Информационно-управляющие системы
Рецензируемое издание

Захаров Алексей Владимирович

Захаров Алексей Владимирович

Аспирант кафедры автоматики и вычислительной техники Санкт-Петербургского государственного политехнического университета. В 2007 году окончил Санкт-Петербургский государственный политехнический университет по направлению «Информатика и вычислительная техника». Является автором шести научных публикаций. Область научных интересов - теоретические основы программирования, формальные методы, формальная верификация, статический анализ и технологии разработки программного обеспечения.

Статьи автора:

  1. Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ
    В. М. Ицыксон , М. Ю. Моисеев , В. А. Цесько , А. В. Захаров , М. Х. Ахин
    Журнал: 2(39)/2009 (Программные и аппаратные средства)