Formal development and Verification of Secure Block Chain enabled Digital Healthcare System using Event-B
Project sanction no CST/D/1223 dated 30/08/2022 ; Project Duration : 03 Years ; INR 10.44 lacks
Design and development of software tools and technologies for translation of natural languages: special focus on English to Sanskrit translation
Design and development of software tools and technologies for translation of natural languages: special focus on English to Sanskrit translation”, sponsored by Council of Science & Technology, Govt of U.P