Srobona Mitra

Srobona Mitra is a Senior Staff Engineer/Manager at Qualcomm, leading the global Formal Verification team. Srobona has extensive experience in managing R&D teams at Synopsys Inc and IBM Systems and Technology Group, focusing on formal verification methodologies and tools. Srobona also worked as a Research Consultant at Indian Institute of Technology, Kharagpur and as a Software Engineer at Ixia. Srobona holds a Ph.D. in Computer Science and Engineering from Indian Institute of Technology, Kharagpur.