SORT :

Name Year Citation In the ACM DL
Gulur, Nagendra 2017 Supercomputer Education and Research Centre (SERC)
Honourable Mention for his thesis titled "Multi-Core Memory System Design: Developing and Using Analytical Models for Performance Evaluation and Enhancements", nominated by Supercomputer Education and Research Centre (SERC).
ACM DL Author Profile
Gurjar, Rohit 2017 IIT Kanpur
For his thesis titled "Derandomizing PIT for ROABP and Isolation Lemma for Special Graphs", nominated by IIT Kanpur.
ACM DL Author Profile
Hazra, Aritra 2015 Indian Institute of Technology Kharagpur
For his thesis titled "Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis", nominated by IIT Kharagpur.
ACM DL Author Profile
Mehta, Ruta 2012 For her dissertation, "Nash Equilibrium Computation in Various Games," nominated by IIT, Bombay. ACM DL Author Profile
Saptharishi, Ramprasad 2013 Chennai Mathematical Institute
Ramprasad Saptharishi from Chennai Mathematical Institute for the thesis titled "Unified Approaches to Polynomial Identity Testing and Lower Bounds"
ACM DL Author Profile
Sen, Rijurekha 2014 For her dissertation titled "Different Sensing Modalities for Traffic Monitoring in Developing Regions", nominated by IIT Bombay ACM DL Author Profile
Sreejith, A V 2014 Honourable Mention for his dissertation titled "Regular Quantifiers in Logic," nominated by Institute of Mathematical Sciences, Chennai. ACM DL Author Profile
Srinivasan, Srikanth 2012 Honourable Mention for his dissertation, "New Directions in Arithmetic and Boolean Circuit Complexity," nominated by IMSc, Chennai. ACM DL Author Profile