Sudipta Kundu is a R&D Principal Engineer in the Verification Group at Synopsys. He is the R&D architect of the VC Formal Sequential Equivalence Checking (SEQ) App. He leads the R&D of various VC Formal Apps including SEQ, FSV, FXP, and FuSa. He received a B.S. and M.S. degree from IIT Kharagpur, India and a PhD in Computer Engineering from University of California San Diego. He has 1 book, 3 patents (4 pending) and published 12 peer-reviewed technical papers. His expertise includes equivalence checking, formal technologies, compilers and distributed systems.