Marat Khabibullin
Research Groups
Biography
Graduated from the Saint Petersburg Academic University in 2015. From 2017 to 2021 I was working on GoLand - a commercial IDE for the Go language. Now I am applying this experience to create tools for formalized mathematics.
Publications
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