Student Supervision
"Don't give students what they want, give them what they need." – Joss Whedon
Ongoing:
– Thesis Topic: Formal Methods for Verification of Machine Learning Models
Mithun Kumar Mahto (July 2024 – Present)
– Thesis Topic: Formal Certification of Machine Learning Models
Dipshikha Poddar (July 2024 – Present): Co-supervised with Dr. Rajlakshmi Guha (Assistant Professor, RCESH, IIT-KGP)
– Thesis Topic: Artificial Intelligence and Cognitive Neuropsychology
Madhumanti Bhattacharyya (July 2023 – Present): Co-supervised with Dr. Rajlakshmi Guha (Assistant Professor, RCESH, IIT-KGP)
– Thesis Topic: Artificial Intelligence and Cognitive Neuropsychology
Debjyoti Das Adhikary (September 2020 – Present): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Topic: Frameworks for Explainable and Interpretable Artificial Intelligence
Soumi Chatterjee (January 2020 – Present): Co-supervised with Dr. Debdeep Mukhopadhyay (Professor, CSE, IIT-KGP)
– Thesis Topic: CAD for PUF and Hardware Security
Submitted:
– Thesis Title: Accelerating Multi-Property Formal Verification with Intrinsic Planning
– Recognition: Best Student Paper Nominee at VLSID 2025 Conference
– Next Position: Staff R&D at Synopsys Inc. (Bangalore, India)
[ Defended on: Month 202X | Submitted on: June 2025 ]
Completed:
– Thesis Title: Formal Methods for Design and Analysis of Physically Unclonable Functions
– Recognition: Intel PhD Fellowship 2021, Best PhD-Forum Poster Award at AsianHost 2021
– Next Position: Postdoctoral Researcher at Radboud University (Nijmegen, Netherlands)
[ Defended on: February 2024 | Submitted on: August 2023 ]
Sudipa Mandal (July 2015 – March 2022): Co-supervised with Dr. Pallab Dasgupta (Professor, CSE, IIT-KGP)
– Thesis Title: Management and Verification of Power and Thermal Contracts in Integrated Circuits
– Recognition: Best Student Paper Award in VLSID 2017
– Next Position: Intel Inc. (Bangalore, India)
[ Defended on: March 2022 | Submitted on: August 2021 ]
Ongoing:
– Thesis Topic: Validation and Assessment for Security
Completed:
– Thesis Title: Exploring Platform-aware Formal Methods for Safe and Secure Cyber-Physical Systems
– Next Position: Pursuing Ph.D. from CSE at IIT Kharagpur (India)
[ Defended on: July 2021 | Submitted on: February 2021 ]
Indrani Roy (July 2016 – May 2019): Co-supervised with Dr. Chester Rebeiro (Assistant Professor, CSE, IIT-M)
– Thesis Title: Automatic Synthesis of Fault-Attack Resistant Block Cipher Implementations
– Recognition: Biswajit Sain Endowment Prize for Best MS Thesis
– Next Position: Apple Inc. (Bangalore, India)
[ Defended on: May 2019 | Submitted on: April 2019 ]
Ongoing:
– Thesis Topic: Verification and Coverage Management for XLS Tool-suite
Completed:
– Thesis Title: Adversarial Robust Image Understanding through Deep Learning Techniques
– Next Position: Accenture (India)
Swathi Janapala (January 2024 – May 2025)
– Thesis Title: ML-based Predictive Modeling and Analysis for Visuo-Spatial Cognitive Problem Solving
– Next Position: HCL Technologies Ltd. (India)
Akash Kundu (January 2023 – May 2024)
– Thesis Title: A Layered Approach to Comprehensive Image Explanation
– Next Position: CNH Industrial Pvt. Ltd. (Gurugram, India)
Anchal Singh (July 2022 – May 2023)
– Thesis Title: Educational Tool Creation for Visualization of Graph Algorithms
– Next Position: ARRISE powering Pragmatic Play (India)
Nabajyoti Das (January 2021 – May 2022): Co-supervised with Dr. Pallab Dasgupta (Professor, CSE, IIT-KGP)
– Thesis Title: Automatic Test Generations from SystemVerilog Assertions
– Next Position: Samsung Inc. (Delhi, India)
Sandeep Kumar Shahu (January 2021 – May 2022): Co-supervised with Dr. Pallab Dasgupta (Professor, CSE, IIT-KGP)
– Thesis Title: Dummy Load Redistribution Attack on Power System
– Next Position: Intel Inc. (Bangalore, India)
Sudipta Paria (January 2019 – May 2020)
– Thesis Title: Mitigating Fault Attack Vulnerabilities in Block Ciphers using Fault-Tolerant Techniques
– Next Position: PhD Position at Department of Electrical & Computer Engineering (University of Florida, USA)
Subham Saha (January 2019 – May 2020): Co-supervised with Dr. Pabitra Mitra (Professor, CSE, IIT-KGP)
– Thesis Title: Developing Attack Graph based Security Measures for Networks with Intrusion Detection Systems
– Next Position: Microsoft Research (Bangalore, India)
Gangwal Shubham Santosh (January 2018 – May 2019)
– Thesis Title: Understanding Power Management Policies leveraging Task Scheduling of Workload Patterns
– Next Position: AppDynamics (Bangalore, India)
Ginju V. George (June 2016 – May 2017)
– Thesis Title: Resource Estimation from Reliability Specifications in Embedded Cyber-Physical Systems
– Recognition: Nominated for Departmental Best M.Tech. Thesis
– Next Position: VSCC-ISRO (Trivandrum, India)
Ongoing:
– Thesis Topic: Formal Methods for Task Planning with Logical Constraints for Robot Learning
Arpit Sodhani (June 2025 – Present)
– Thesis Topic: Formal Approaches for Performance Evaluation of LLMs in Program Synthesis
Shashwat Singh Ranka (June 2025 – Present)
– Thesis Topic: Leveraging Machine Learning Techniques for Transaction Identification from Time-Series Emulation Dumps
Pratapagiri Sathvik (June 2025 – Present)
– Thesis Topic: Formal Approaches for Performance Evaluation of LLMs in Specification Synthesis
Angalakuduru Tejasree Sai (June 2025 – Present)
– Thesis Topic: Effective Machine Learning using Multi-Format Data Training and Ensembles
Ajitesh Jamulkar (June 2025 – Present)
– Thesis Topic: DeepBackTrack : A Framework for Generating Background Music Scores for Stories
Abhinav Gothwal (January 2025 – Present)
– Thesis Topic: Verification Management and Debugging for XLS Tool-suite
Ayush Kumar (June 2025 – Present)
– Thesis Topic: Adversarial Robustness of Deep Learning Models
Sanchit Garg (June 2025 – Present)
– Thesis Topic: Analogy-based Explainability of Deep Learning Models
Completed:
– Thesis Title: Logical Specification Guided Reinforcement Learning leveraging Reward Machines
– Next Position: D. E. Shaw Pvt. Ltd.
Roddur Majumdar (July 2024 – May 2025)
– Thesis Title: Towards Consistent and Complete Video Explanations: A Modular Reasoning Methodology
– Next Position: Morgan Stanley Inc.
Yash Sirvi (July 2024 – May 2025)
– Thesis Title: Novel Techniques for Scalable and Fault-tolerant Multi-Agent Reinforcement Learning
– Next Position: M.S. position in Computer Science at Carnegie Mellon University, USA
Adyan Rizvi (June 2024 – May 2025)
– Thesis Title: Advancing Trajectory-Based Explainability in Reinforcement Learning via Hierarchical Decomposition and Generalized Influence Modeling
– Next Position: Rubrik Inc.
Soumojit Bhattacharya (JuneMay 2024 – May 2025)
– Thesis Title: Path Planning in Uncertain Gridworld Environments
– Next Position: M.S. position in Robotics at Carnegie Mellon University, USA
Sreyas Venkatraman (June 2024 – May 2025)
– Thesis Title: Learning Articulation Parameters from Sparse 3D Observations via Optimization-Based Inference
– Next Position: M.S. position in Robotics at Carnegie Mellon University, USA
Choda Y B V Anjaneya (July 2024 – December 2024)
– Thesis Title: Avoidance of Adversarial Inference through Comprehensive Explainability of Images (BTP-I)
– Next Position: BTP-II Replaced with Equivalent Subjects
Satwik Chappidi (January 2022 – May 2024): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Title: Collision-free Collaborative Multi-Agent RL
– Next Position: M.S. position in Robotics at University of California Berkeley, USA
Parth Jindal (January 2022 – May 2024): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Title: Explainable Adversarial Deep Learning
– Next Position: Rubrik India Pvt. Ltd. (Bangalore, India)
Aayush Prasad (January 2021 – May 2023): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Title: Explainable Diagnosis of Cognitive Impairments using Artificial Intelligence
– Next Position: Squarepoint Capital (Bangalore, India)
Cheepurupalli Udaya Bhaskar (January 2021 – May 2023)
– Thesis Title: The Illusion of Stability: A Sentiment Analysis on Algorithmic Stablecoin Failures
– Next Position: Microsoft Inc. (Hyderabad, India)
Sriyash Poddar (January 2021 – May 2023): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Title: Efficient Multi-Agent Reinforcement Learning
– Next Position: Ph.D. Position at Department of Computer Science & Engineering (University of Washington, USA)
Parth Saraf (January 2022 – December 2022)
– Thesis Title: ML-based Theorem Selection for Automated Geometry Problem Solving (BTP-I)
– Next Position: BTP-II Replaced with Equivalent Subjects
Harsh Singh (January 2022 – December 2022)
– Thesis Title: Formal Methods for Incremental Verification Closure of Digital ICs (BTP-I)
– Next Position: BTP-II Replaced with Equivalent Subjects
Dvij Kalaria (January 2021 – May 2022): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Title: Explainability of Deep Learning and Adversarial Decisions
– Recognition: Nominated for Departmental Best B.Tech. Thesis
– Next Position: M.S. position at Robotics in Carnegie Mellon University, USA
Nandini Jalan (January 2021 – May 2022): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Title: Explainable AI: Clock Detection as a CSP
– Next Position: Dual-MTP under Prof. Sandip Chakraborty
Narayan Gupta (January 2021 – May 2022): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Title: AI based Mechanisms for Screening and Detection of Cognitive Disorders
– Next Position: Dual-MTP under Prof. Sandip Chakraborty
Debajit Chakraborty (January 2021 – May 2022): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Title: Scalable Multi-Agent Reinforcement Learning
– Next Position: McKinsey and Company (Gurugram, India)
Arnab Kumar Mallick (June 2021 – May 2022): Co-supervised with Dr. Arijit Mondal (Assistant Professor, CSE, IIT-Patna)
– Thesis Title: RL Framework for Multi-Agent Movement Optimization under Robotic Warehouse Setup
– Next Position: VMock Inc. (Gurugram, India)
Prakhar Sharma (June 2020 – May 2021): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Title: Learning Collaboration and Communication in Multi Agent RL Games
– Next Position: Ph.D. position at Dept. of Computer Science (University of California Los Angeles, USA)
Chinmay Singh (June 2020 – May 2021): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Title: Emergent Communication and Language in Multi Agent RL Games
– Next Position: McKinsey and Co. (Delhi, India)
Aditya Rastogi (January 2020 – May 2021): Co-supervised with Dr. Partha Pratim Chakrabarti (Professor, CSE, IIT-KGP)
– Thesis Title: Improvements in Self-Supervised Deep Learning and Visualizations
– Next Position: Accenture Inc. (Tokyo, Japan)
Bhukya Raviteja (January 2019 – May 2020)
– Thesis Title: A Framework for Automated Enumeration of Instruction and Storage Details for Elementary C-Programs
– Next Position: Barklays (Mumbai, India)
Punit Khanna (January 2016 – May 2017): Co-supervised with Dr. Chester Rebeiro (Assistant Professor, CSE, IIT-M)
– Thesis Title: XFC – A Framework for eXploitable Fault Characterization in Block Ciphers
– Recognition: Nominated for Departmental Best Dual-MTP Thesis
– Next Position: Goldman Sachs (Bangalore, India)
