President and CEO, Oski Technology
Vigyan Singhal, CEO of Oski Technology, founded the formal-verification services firm in 2005. Vigyan is the host of Oski’s “Decoding Formal” video tutorials on formal verification, offering a look at the technology and how it can be applied to chip design. Under his leadership, the company launched the Decoding Formal Club, a forum to foster knowledge-sharing and networking among formal-verification enthusiasts. He graduated from the University of California, Berkeley.