ACM India is pleased to announce the ACM India Doctoral Dissertation Award winners. Tata Consultancy Services is a founding sponsor of the award.
ACM congratulates the winners! Well done indeed! We also thank the institutions for nominating their top dissertations and the eminent members of the jury who helped us select the awards.
Awardee: Aritra Hazara (Indian Institute of Technology Kharagpur)
Thesis Title: "Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis"
Awardee: Rijurekha Sen (IIT Bombay)
Thesis Title: "Different Sensing Modalities for Traffic Monitoring in Developing Regions"
Honourable Mention: A. V. Sreejith (Institute of Mathematical Sciences, Chennai)
Thesis Title: "Regular Quantifiers in Logic"
Awardee: Ramprasad Saptharishi (Chennai Mathematical Institute)
Thesis Title: "Unified Approaches to Polynomial Identity Testing and Lower Bounds"
Awardee: Ruta Mehta, IIT, Bombay
Thesis Title: "Nash Equilibrium Computation in Various Games"
Honourable Mention: Srikanth Srinivasan, IMSc, Chennai
Thesis Title: "New Directions in Arithmetic and Boolean Circuit Complexity"
For more information on ACM India contact:
Or, reach us through LinkedIn: