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

Родился в 1984. В 2007 г. с отличием окончил факультет технической кибернетики Санкт-Петербургского Государственного Политехнического Университета по направлению "Информатика и вычислительная техника". Получил степень магистра техники и технологии. Тема работы: "Разработка модели программной системы и каркаса среды автоматизации для модификации программного обеспечения".

С 2004 г. работает на кафедре в лаборатории программно-аппаратных разработок. Является ведущим программистом ТКЦ ФТК. В 2007 г. поступил в аспирантуру.

Научные интересы

• Теоретические основы программирования
• Рефакторинг, технологии модификации и разработки программных систем
• Статический анализ программных систем
• Формальная верификация программных систем

Учебная деятельность

Ведёт занятия по дисциплинам:

• Формальные методы обеспечения качества
• Промышленные технологии проектирования ПО

Основные публикации

• Ахин М.Х., Захаров А.В., Ицыксон В.М., Мяснов А.В. Автоматическое обнаружение дефектов программных систем на основе метода проверки модели. // Научно-технические ведомости СПбГПУ, № 5 — Спб.: Изд-во Политехн. ун-та. — 2008.
• Ицыксон В. М., Моисеев М. Ю., Цесько В. А., Захаров А. В., Ахин М. Х. Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ // Информационные и управляющие системы, № 2 (39) — СПб: Политехника, 2009. — с. 34-41.
• Ицыксон В. М., Моисеев М. Ю., Ахин М. Х., Захаров А. В., Цесько В. А. Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ // Системное программирование Вып. 4: Сб. статей / Под ред. А.Н.Терехова, Д.Ю. Булычева. — СПб.: Изд-во С.-Петерб. ун-та, 2009 — с. 5-30
• A. V. Zakharov, M. J. Moiseev Automatic data race detection in SystemC models // Automatic Control and Computer Sciences December 2012, Volume 46, Issue 7, pp 356-363

Участие в конференциях

• Захаров А.В., Ицыксон В.М. Применение объектно-ориентированного подхода к редактированию настроек сложных объектов // XXXIV Неделя науки СПбГПУ. Материалы Всероссийской межвузовской научно-технической конференции студентов и аспирантов. Часть V. Факультет технической кибернетики. Факультет при ЦНИИ РТК. — Спб.: Изд-во Политехн. Ун-та. — 2006. — с. 41-43
• Захаров А.В., Ицыксон В.М. Автоматизация модификации программных систем // Фундаментальные исследования и инновации в технических университетах. Материалы XI Всероссийской конференции по проблемам науки и высшей школы. — Спб.: Изд-во Политехн. ун-та. — 2007. — с. 181-182
• Захаров А.В., Ицыксон В.М Автоматизация построения моделей программных систем для верификации // Фундаментальные исследования и инновации в технических университетах. Материалы XII Всероссийской конференции по проблемам науки и высшей школы. - Спб.: Изд-во Политехн. ун-та. — 2008. — с. 134-135
• Moiseev M., Zakharov A. Static Data Race Detection in SystemC Parallel Programs // In Proceedings of 2nd Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011), Yaroslavl, 2011 -- pp. 136-143
• Moiseev M., Glukhikh M., Zakharov A., Richter H. A Static Analysis Approach to Data Race Detection in SystemC Designs // Proceedings of the 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, April 8-10, 2013, Karlovy Vary, Czech Republic. – pp. 54-59.

Победитель конкурса грантов

• Победитель открытого конкурса грантов 2009 года для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга, Наименование проекта: "Автоматизация построения моделей программ для формальной верификации программных систем". Форма гранта: кандидатский проект. Номер гранта: 3.11/04-05/111.
• Победитель открытого конкурса грантов 2010 года для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга, Наименование проекта: "Автоматизация построения моделей программ для формальной верификации программных систем". Форма гранта: кандидатский проект. Номер гранта: 3.11/07-06/030.