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

м.т.т.,
аспирант
ул. Политехническая, 21, к. 301
Санкт-Петербург
Тел. рабочий: +7-812-297-2238
Email: zakh arov at kspt.ftk. spbstu.ru
Родился в 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.