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

Краткая биография
Марат Ахин - молодой специалист в области 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 вел занятия по следующим курсам:
-
Промышленные технологии проектирования ПО
-
Формальные методы обеспечения качества ПО
-
Тестирование ПО
В настоящее время ведет занятия по следующим курсам:
Автор следующих лекций:
- Software Testing 101
- Software Testing 102
- Software Testing 103
- DevOps 101
Дополнительная информация
Свободно владеет английским и изучает японский языки. Интересуется анимационными фильмами, культурами стран Востока. Любит готовить.