ISTI LOGO
Towards a new dawn
×

img Acces sibility Controls

Research Projects Banner

Research Projects

Formal Verification of Optimizing Transofrmation of Programs

Implementing Organization

Institute of Technology (IIT), Guwahati, Assam
Principal Investigator
Dr. Chandan Karfa
Assistant Professor
|
Prof. Manmohan Pandey, Department of Machanical Enginnering, Indian Institute of Technology (IIT), Guwahati, Assam
Department of Computer Science & Engineering

Related Research

View All
Funding Organization
Funding Organization
Department of Science and Technology (DST)
Science and Engineering Research Board (SERB), New Delhi
Quick Information
Area of Research
Engineering Sciences
Start Year
2017
Sanction Amount
₹ 17.71 L
Status
Ongoing
Output
No. of Research Paper
00
Technologies (If Any)
00
No. of PhD Produced
N/A
Startup (If Any)
00
No. of Patents
Filed :00
Grant :00
arrowtop