Research
Title : | Formal Verification of Optimizing Transofrmation of Programs |
Area of Research : | Engineering Sciences |
Principal Investigator : | Dr. Chandan Karfa, Assistant Professor, Department of Computer Science & Engineering, Indian Institute of Technology (IIT), Guwahati, Assam |
Contact info : | ckarfa@iitg.ac.in |
Timeline Start Year : | 2017 |
Total Budget (INR): | 17,70,910 |
Details
Organizations involved
Implementing Agency : | Indian Institute of Technology (IIT), Guwahati, Assam Funding Agency :Science and Engineering Research Board (SERB),
Department of Science & Technology (DST),
Government of India | |