At SynopsysInc, I’m responsible for three components in the VC Formal tool, helping ensure efficient design and implementation.
I also take part in technical discussions and offer guidance and solutions for deployment-related user queries. I use Perforce for version control and maintaining high-quality code standards.
At TCSResearch,Hyderabad, I developed a test automation tool from scratch using Java and Python, preparing its high-level and detailed designs and deploying it to users.
I also created a Python bug analysis tool for textual data clustering and result analysis, and designed and developed a VeriAbs component from scratch using Java and Python.

