Vigyan Singhal

Vigyan Singhal obtained his B.Tech degree in Computer Science from IIT Kanpur (India) in 1989 and his PhD degree in Computer Science from UCBerkeley in 1996. His research interests are in formal logic verification for digital circuits which he has been pursuing at Cadence Berkeley Labs since 1995. Click here for a list of his publications.

Email address: vigyan@cadence.com