Abdelrahman AbounegmRussia, InnopolisResearch areaprogram verificationprogramming languagesAffiliation & position Innopolis University — Masters student E-maila.abounegm@innopolis.university List of Articles in System Informatics: A. Abounegm N. Kudasov Implementing a Language Server for the Rzk Proof Assistant // System Informatics. — 2023. — # 22. — P. 45-50