1. Theory Research in India: 2019–2022.
- Author
-
AISWARYA, C., ARVIND, V., and SAURABH, SAKET
- Subjects
COMPUTATIONAL complexity ,MACHINE theory ,SOFTWARE verification ,DIRECTED acyclic graphs ,ALGORITHMS ,POLYNOMIALS - Abstract
This article explores the trends in computer science research in India from 2019 to 2022 based on research coming out of leading Indian technology institutes, including Chennai Mathematical Institute, Indian Institute of Science and Indian Institute of Technology Delhi. Topics include research on automata theory, formal verification, computational complexity research, and Algorithms research.
- Published
- 2022
- Full Text
- View/download PDF