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.
On development of static analysis tools for string-embedded languages
Marat Khabibullin, Andrei Ivanov, Semyon Grigorev