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

Read more