STUDENTS
Current PhD students:
Sourav Das
Formal Verification, Electronic Design Automation and analog mixed signals
Sumanta Dey
Ensuring Reinforcement Learning Agent's Safety during Online Learning
Praveen Verma
Renewable Power Inregration, Application of Machine Learning to Power system
Somnath Hazra
Design and Integration of Deep Learning Algorithms to emphasise Safety and Trust
Former PhD students:
Dr. Briti Gangopadhyay
PhD
Building reasoned deep learning algorithms for safety-critical applications
Dr. Sayandeep Sanyal
PhD
Design Automation for Functional and Fault Coverage in Mixed-Signal Integrated Circuits
Dr. Sudipa Mandal
PhD
Management and Verification of Power and Thermal Contracts in Integrated Circuits (Submitted).
Dr. Rajib Lochan Jana
PhD
Hierarchical Planning and Control in Model-based Design of Systems and Circuits.
Dr. Sayandeep Saha
PhD
Revisiting Fault-Analysis of Block Ciphers: Attacks, Defenses and Evaluation Frameworks.
Dr. Antonio A Bruto da Costa
PhD
Algorithms for Formal Feature Analysis and Inference Learning for Hybrid Systems.
Dr. Sumana Ghosh
PhD
A Formal Approach towards Pattern Guided Scheduling in Embedded Control Systems.
Dr. Rajorshee Raha
PhD
Multi-rate Strategies for Power and Bandwidth Optimization in Embedded Control.
Dr. Antara Ain
PhD
Assertion Based Analysis of Mixed Signal Systems.
Dr. Kamalesh Ghosh
PhD
Automated Planning Based Methods for Early Verification of Reactive Control Systems.
Dr. Aritra Hazra
PhD
Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis.
Dr. Priyankar Ghosh
PhD
Search Techniques for finding Alternative Solutions for AND/OR Graphs and Bi-objective Optimization Problems.
Dr. Srobona Mitra
PhD
Formal Methods for Aiding Verification of Local Design Changes in Digital Integrated Circuits.
Dr. Rajkumar P.V.
PhD
Formal and Semi-Formal Methods for Application Specific Usage Control and Security.
Dr. Subhankar Mukherjee
PhD
Assertions – from a mixed-signal perspective.
Dr. Padmalochan Bera
PhD
Formal Analysis of Security Policy Implementations in Enterprise Networks.
Dr. Manoj Dixit
PhD
Formal Methods for Early Time-Budgeting in Component-based Embedded Control Systems.
Dr. Arijit Mondal
PhD
A symbolic event propagation approach for solving timing problems of digital circuits.
Dr. Bhaskar Pal
PhD
Formal and semi-formal verification methods with constrained random test benches.
Dr. Suchismita Roy
PhD
SAT Based Solutions for Timing and Power Estimation in Gate Level Circuits.
Dr. Ansuman Banerjee
PhD
Formal Methods for accelerating formal, semi-formal and dynamic property verification through novel specification styles.
Dr. Sayantan Das
PhD
Formal Analysis of Property Specifications: Consistency, Coverage and Synthesis.
Dr. Prasenjit Basu
PhD
Design Intent Verification by Formal Property Coverage.
Dr. Jatindra Kumar Deka
PhD
Model checking techniques for Reasoning about Events and Extremal Properties in Timed Systems.
Former MS Students:
- Sunandan Adhikary
- Shiladitya Ghosh
- Debjit Pal
- Sourashis Das
- Rajdeep Mukhopadhyay
- Anindyasundar Nandi
- Sayak Ray
- Pritam Ray