|
Gagan co-founded Calypto after making substantial technical contributions to two successful EDA startups. Before co-founding Calypto, Gagan was the Director of Engineering at Innologic Systems, a start-up in the formal verification arena. At Innologic, Gagan successfully managed the development of the company’s multi-million dollar flagship product from initial concept to adoption by more than 30 customers before the company's purchase by Synopsys, Inc. Prior to joining Innologic, Gagan was an early member of the Ambit Design Systems engineering team, where he made substantial contributions to the BuildGates synthesis product. Before Ambit, he was a consultant with the Formal Verification group of the MIPS division of SGI. Gagan received an M.S and PhD in Computer Science specializing in Formal Verification of Hardware designs from University of Illinois at Urbana Champaign. He has B.S in Computer Science from Indian Institute of Technology, India. | 