Марат Хабибуллин
Исследовательские группы
Биография
Окончил Санкт-Петербургский Академический Университет в 2015 году. С 2017 по 2021 работал над GoLand - коммерческой IDE для языка Go. Сейчас применяю этот опыт для создания инструментов для формализации математики.
Публикации
On development of static analysis tools for string-embedded languages
October 2015
Marat Khabibullin, Andrei Ivanov, Semyon Grigorev
CEE-SECR '15: Proceedings of the 11th Central & Eastern European Software Engineering Conference in Russia, Article No.: 5, Pages 1–10