About Me

I’m a a part-time research scholar in Department of Computer Science & Engineering, IIT Delhi under Dr.Sanjiva Prasad and Dr.Subodh Sharma since 2016 and am a full-time CAD engineer at NXP semiconductors(formerly Freescale Inc) since 2014. I completed my Masters in Control Systems as a part of Dual degree integrated programme from IIT Kharagpur(2009-14). I am natively from Guntur, Andhra Pradesh.

My areas of interest include formal verification, hybrid automata, control theory, synthesis and verification and cyber physical systems.


CAD Engineer II

2016 - Present
NXP Semiconductors India PVT ltd

I am part of a team that develops differential tools for Analog Mixed Signal and digital design Verification. We develop flows that leverage existing formal methodologies to solve various functional and interface issues in hardware logic.

Design Engineer

2014 - 2016
Freescale Semiconductors India PVT ltd

Verification flows and methodologies expert


These are projects I am currently working on here in IITD.

Safety Verification of Li-ion Batteries

Li-ion battery systems are part of almost every cyber-physical system. Their high energy to weight ratio makes them very portable and at the same time poses many risks. The charging and discharging patterns should be followed strictly. This work tries to answer whether a charge-discharge pattern is "safe" on a battery through formal means.

Courses Undertaken

COL765 - Introduction to Logic and Functional Programming
COL750 - Foundations of Automatic Verification
COL871 - Spl. Topics in Programming Languages and Compilers
COL728 - Compiler Design


Towards a Formal Framework for Specifying Feature based Equivalence between AMS Models
Pallab Dasgupta, Siddhartha Mukhopadhyay, Antara Ain, Chitresh Sinha, Madhukar. Y. R
Technical Report, SRC Task : 2267.001