Марат Ахин

Биография

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

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

В настоящее время работает исследователем в лаборатории анализа и верификации программ JetBrains Research, занимаясь преимущественно различными проектами вокруг языка программирования Kotlin.

Профессиональная деятельность

Публикации

Проекты

Публикации