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

Должность: 
преподаватель
Email: 
akhin [at] kspt.icc.spbstu.ru
Научные интересы: 
анализ программных систем

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

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

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

Публикации