Research
Title : | Functional reactive program verification |
Area of research : | Engineering Sciences |
Focus area : | International Bilateral Cooperation, IBC |
Principal Investigator : | Dr. P. Manjunatha, Chennai Mathematical Institute, Tamil Nadu |
Timeline Start Year : | 2019 |
Timeline End Year : | 2022 |
Details
Total Budget (INR): | 9,86,000 |
Organizations involved
Implementing Agency : | Chennai Mathematical Institute, Tamil Nadu |
Funding Agency : | Department of Science and Technology (DST) |