Марат Ахин
Исследовательские группы
Биография
Марат Ахин — молодой специалист в области computer science. Наукой занялся еще во время учебы на старших курсах, приняв участие в нескольких R&D-проектах. С тех пор неоднократно был замечен в продолжении подобных занятий, особенно интересуясь анализом программных систем.
В 2009-м с отличием и медалью окончил факультет технической кибернетики Санкт-Петербургского политехнического университета, получив степень магистра техники и технологии. В том же году поступил в аспирантуру. В 2011—2012 годах стажировался в лаборатории Microsoft Research Redmond.
В настоящее время работает исследователем в лаборатории анализа и верификации программ JetBrains Research, занимаясь преимущественно различными проектами вокруг языка программирования Kotlin.
Профессиональная активность
Публикации
Публикации
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
2019
Daniil Stepanov, Marat Akhin, Mikhail Belyaev
Borealis Bounded Model Checker: The Coming of Age Story
September 2017
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
Message from the editors
2017
G. Chernishev, M. Akhin, B. Novikov, and V. Itsykson
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer
2017
Azat Abdullin, Daniil Stepanov, Marat Akhin
By the power of SMT! Mining Function Contracts to Better Bounded Model Checking
September 2016
Azat Abdullin, Marat Akhin
Random Model Sampling: Making Craig Interpolation Work When It Should Not
December 2015
Marat Akhin, Sam Kolton, Vladimir Itsykson
Discovering Clones in Software: from Complex Algorithms to Everyday Desktop Tool
October 2015
Marat Akhin, Alexandr Suhinin
Visualization of Execution Paths for Concurrent Programs
2015
Marat Akhin, Andrei Eleshevich
Software Defect Detection by Combining Bounded Model Checking and Approximations of Functions
December 2014
M. Akhin, M. Belyaev, V. Itsykson
Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration
2014
М. Belyaev, М. Akhin, V. Itsykson
Tree Slicing: Finding Intertwined and Gapped Clones in One Simple Step
December 2013
M. Akhin, V. Itsykson
Обнаружение клонов исходного кода: теория и практика
2011
Ахин М.Х., Ицыксон В.М.
Автоматическое обнаружение дефектов в программных системах на языке C на основе статического анализа
2010
Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х.
A Regression Test Selection Technique Based on Incremental Dynamic Analysis
2009
M. Akhin, V. Itsykson
Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
Автоматическое обнаружение дефектов программных систем на основе метода проверки модели
2008
Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В.