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

каф. КСПТ, ФТК, СПбГПУ

м.т.т., ассистент

194021, ул. Политехническая, 21, к. 301

Санкт-Петербург, Россия

Тел.: +7 812 297 2238

Email: akhin at kspt.icc.spbstu.ru

Blog, LinkedIn, OpenID, Delicious

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

Марат Ахин - молодой специалист в области 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.