Nikolai Dmitrievich Kudasov Russian Federation, Kazan Academic degree senior instructor Research area program verification programming languages Affiliation & position Innopolis University — senior lecturer E-mail n.kudasov@innopolis.runickolay.kudasov@gmail.com
Abounegm A., Kudasov N. Implementing a Language Server for the Rzk Proof Assistant // System Informatics. — 2023. — # 22. — P. 45-50
