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.
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.
Verification flows and methodologies expert
These are projects I am currently working on here in IITD.
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.