Марат Хабибуллин

Марат Хабибуллин


Исследовательские группы

Биография

Окончил Санкт-Петербургский Академический Университет в 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

Подробнее