- ALPHABETICAL LISTING
- YEAR OF AWARD
- NOMINATING PROCESS
- AWARDS SPONSORS
- AWARD COMMITTEE
-
ALL ACM AWARDS
- ACM A.M. Turing Award
- ACM - Infosys Foundation Award in the Computing Sciences
- Distinguished Service Award
- Doctoral Dissertation Award
- ACM - IEEE CS Eckert-Mauchly Award
- Gordon Bell Prize
- Grace Murray Hopper Award
- International Science and Engineering Fair
- Paris Kanellakis Theory and Practice Award
- Karl V. Karlstrom Outstanding Educator Award
- ACM - IEEE CS Ken Kennedy Award
- Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics
- ACM-IEEE CS George Michael Memorial HPC Fellowships
- Outstanding Contribution to ACM Award
- ACM - AAAI Allen Newell Award
- ACM Presidential Award
- SIAM/ACM Prize in Computational Science and Engineering
- Software System Award
- ACM Programming Systems and Languages Paper Award
- ACM-W Athena Lecturer Award
- ACM India Doctoral Dissertation Award
- ACM Fellows
- ACM Distinguished Member
- ACM Senior Member
- Latest Awards Winners
- CONTACT US
ACM India Doctoral Dissertation Award
India – 2014
CITATION India – 2014
For his dissertation titled "Regular Quantifiers in Logic".
Scroll Up© 2015 Association for Computing Machinery. All rights reserved.