PhD PACERS
Praseetha M
Mentor: Madhu Mutyam
Email: cs19d008 [at] domain
Kasaraneni Ramya
Mentor: Krishna Nandivada
Email: cs19d003 [at] domain
Ashwina Kumar
Mentor: Rupesh Nasre
Research: Graph DSL
Email: cs20d016 [at] domain
Divya Rathore
Mentor: Kartik Nagar
Research: Program Verification
Email: cs21d011 [at] domain
Kranti Bhimrao ingale 🔗
Mentor: Madhu Mutyam
Research: Computer Architecture
Email: cs22d003 [at] domain
Yuvraj talukdar 🔗
Mentor: Krishna Nandivada
Research: Optimization/Analysis of Parallel programs
Email: cs23d009 [at] domain
Abdun Nihaal 🔗
Mentor: Chester Rebeiro, Madhu Mutyam
Research: Operating systems security
Email: cs23d008 [at] domain
Omkar Dilip Dhawal
Mentor: Krishna Nandivada
Research: Compilers
Email: cs21d202 [at] domain
Nitish Yadav 🔗
Mentor: Kartik Nagar, KC Sivaramakrishnan
Research: Formal Verification of Distributed Systems
Email: cs23d011 [at] domain
Prashant Singh
Mentor: Rupesh Nasre
Research: Compilers and parallelization
Email: cs24d002 [at] domain
Durwasa Chakraborty 🔗
Mentor: KC Sivaramakrishnan
Research: Programming Languages
Email: cs24d011 [at] domain
MS PACERS
Bhaskar Banerjee
Mentor: Rupesh Nasre
Research: Graph DSL
Email: cs22s024 [at] domain
Venkata Naga Sai Rohit Kanteti 🔗
Mentor: Krishna Nandivada
Research: Compilers
Email: cs23s019 [at] domain
Divyanshu Upadhyay 🔗
Mentor: Kartik Nagar
Research: Automated Formal Verification
Email: cs23s031 [at] domain
Arun Prabhakar
Mentor: Krishna Nandivada
Research: Compiler Design
Email: cs23s200 [at] domain
Jay R Rathi
Mentor: Kartik Nagar
Research: Verification
Email: cs24s001 [at] domain
Sanket Tarafder
Mentor: Rupesh Nasre
Research: Parallelization
Email: cs24s018 [at] domain
Shubham Jadhav
Mentor: N.S. Narayanaswamy, Rupesh Nasre
Research: Parallel Graph Algorithms
Email: cs24s009 [at] domain
Harikrishnan KV 🔗
Mentor: Madhu Mutyam
Research: Computer Architecture
Email: cs24s030 [at] domain
Anirudh T E 🔗
Mentor: Rupesh Nasre
Research: High-Performance Computing
Email: cs25s005 [at] domain
