Ахин Марат Халимович

Краткая биография

Марат Ахин - молодой специалист в области Computer Science. Научную работу в этой области начал еще во время учебы на старших курсах, приняв участие в нескольких R&D-проектах. С тех пор неоднократно был замечен в продолжении подобных занятий, с особенным интересом участвуя в проектах, посвященных анализу программных систем.

В 2009 с отличием и медалью окончил факультет технической кибернетики Санкт-Петербургского государственного политехнического университета, получив степень магистра техники и технологии. В том же году поступил в аспирантуру. В 2011 и 2012 стажировался в Microsoft Research Redmond.

В настоящее время с переменным успехом совмещает работу над кандидатской диссертацией, посвященной обнаружению клонов исходного кода в ПО, и участие в различных проектах в рамках лаборатории Digitek Labs.

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

• Современные технологии разработки ПО
• Обнаружение клонов исходного кода в ПО
• Статический анализ программ

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

• Marat Akhin, Mikhail Belyaev, Vladimir Itsykson. Yet Another Bounded Model Checking: Combining Bounded Model Checking and Code Contracts // Proceedings of the 4th Workshop on Program Semantics, Specification and Verification. --- TBP.
• Marat Akhin, Vladimir Itsykson. Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic // M.A.I.S. --- 2012. --- Vol. 19 (6). --- Pp. 69-78.
• Marat Akhin, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux, and Michal Moskal. Search by Example in TouchDevelop: Code Search Made Easy // Proceedings of the 4th International Workshop on Search-driven development: Users, Infrastructure, Tools and Evaluation. -- IEEE, 2012. -- Pp. 5-8.
• Marat Akhin, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux, and Michal Moskal. Code Similarity in TouchDevelop: Harnessing Clones // no. MSR-TR-2011-103. -- 9 September 2011.
• М.Х. Ахин, В.М. Ицыксон. Обнаружение клонов исходного кода: теория и практика // Системное программирование. Вып. 5: Сб. статей / Под ред. А.Н. Терехова, Д.Ю. Булычева. -- СПб.: Изд-во С.-Петерб. ун-та, 2010. -- стр.145-163.
• Marat Akhin and Vladimir Itsykson. Clone Detection: Why, What and How // Proceedings of the 6th Central and Eastern European Software Engineering Conference in Russia. -- IEEE, 2010. -- Pp. 36-42
• Marat Akhin and Vladimir Itsykson. A Regression Test Selection Technique based on Incremental Dynamic Analysis // Proceedings of the 5th Central and Eastern European Software Engineering Conference in Russia. -- IEEE, 2009. -- Pp. 19-24.
• В.М. Ицыксон, М.Ю. Моисеев, М.Х. Ахин, А.В. Захаров, В.А. Цесько. Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ // Системное программирование. Вып. 4: Сб. статей / Под ред. А.Н. Терехова, Д.Ю. Булычева. -- СПб.: Изд-во С.-Петерб. ун-та, 2009. -- стр.5-30.
• В.М. Ицыксон, М.Ю. Моисеев, В.А. Цесько, А.В. Захаров, М.Х. Ахин. Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ // Информационные и управляющие системы. -- СПб.: Политехника, 2009. -- №2 (39). -- стр.34-41.
• М.Х. Ахин, В.М. Ицыксон. Трассировка программного обеспечения при помощи инъекции кода // XXXVII Неделя науки СПбГПУ: Материалы Всероссийской межвузовской научно-технической конференции студентов и аспирантов. Ч.VIII. -- СПб.: Изд-во Политехн. ун-та, 2008. -- стр.36.
• М.Х. Ахин, В.М. Ицыксон. Построение системы интеграции оптимального регрессионного тестирования в процесс разработки программного обеспечения. // XXXVII Неделя науки СПбГПУ: Материалы Всероссийской межвузовской научно-технической конференции студентов и аспирантов. Ч.VIII. -- СПб.: Изд-во Политехн. ун-та, 2008. -- стр.34-35.
• В.М. Ицыксон, А.В. Захаров, М.Х. Ахин, А.В. Мяснов. Автоматическое обнаружение дефектов программных систем на основе метода проверки модели // Научно-технические ведомости СПбГПУ. -- СПб.: Изд-во Политехн. ун-та, 2008. -- №5 (65). -- стр.127-134.
• В.М. Ицыксон, М.Х. Ахин. Регрессионное тестирование программного обеспечения на основе дифференциальных абстрактных синтаксических деревьев. // Фундаментальные исследования в технических университетах: Материалы XII Всероссийской конференции по проблемам науки и высшей школы. 14 мая 2008 года, Санкт-Петербург. -- СПб.: Изд-во Политехн. ун-та, 2008. -- стр.135-136.
• М.Х. Ахин. Разработка и исследование средств экспорта и визуализации программных динамических моделей // Вычислительные, измерительные и управляющие системы: Сборник научных трудов / Под ред. Ю.Б. Сениченкова. -- СПб.: Изд-во Политехн. ун-та, 2007. -- стр.39-49.

Преподавание

В 2009-2016 вел занятия по следующим курсам:

• Промышленные технологии проектирования ПО

  2009 2010 2011 2012 2013 2014 2015

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

  2010 2011 2012-2014

• Тестирование ПО

  2014-2015 2016

В настоящее время ведет занятия по следующим курсам:

• Алгоритмизация и программирование
• Промышленные технологии проектирования ПО

Автор следующих лекций:

• Software Testing 101
  • English
  • Russian
• Software Testing 102
• Software Testing 103
• DevOps 101

Дополнительная информация

Свободно владеет английским и изучает японский языки. Интересуется анимационными фильмами, культурами стран Востока. Любит готовить.