Research
Title : | Mathematical foundations of infinite - State transition systems |
Area of research : | Mathematical Sciences |
Focus area : | Mathematical Research Impact Centric Support, MATRICS |
Principal Investigator : | Dr. S. Akshay, Associate Professor, Indian Institute of Technology (Bombay), Maharshtra, Maharashtra |
Timeline Start Year : | 2019 |
Timeline End Year : | 2022 |
Details
Total Budget (INR): | 6,60,000 |
Organizations involved
Implementing Agency : | Indian Institute of Technology (Bombay), Maharshtra, Maharashtra |
Funding Agency : | Department of Science and Technology (DST) |
Source : | Extramural R&D Projects listed in NSTMIS database 2019-20 |