| 1 | Verification of digital systems using linear time temporal logic |
| Researcher: | Gangadharan, Venkatesh |
| Guide: | Shyamsundar, R K |
| University: | Tata Institute of Fundamental Research |
| Language: | English |
| 2 | study of the cultural aspects of the narrative poems of Dwivedi period |
| Researcher: | Gangadharan, V |
| Guide: | Iqbal, Ahmad |
| University: | University of Calicut |
| Language: | English |