Innovating the Intelligence of Formal Techniques for Automatic Design Verification

Executive Board

Executive Board

Andy Bechtolsheim
Senior VP & Chief Architect, Sun Microsystems


Andy Bechtolsheim is a technology leader, industry visionary and one of the best computer architects in the world. After co-founding Sun Microsystems more than 20 years ago, he is back at Sun as a Senior Vice President and Chief Architect at Sun. He is also a member of Sun's Executive Management Group. Prior to Sun, Andy was the Vice President of Engineering at Cisco Systems.

Bechtolsheim earned a master's degree in computer engineering from Carnegie Mellon University in 1976. He was a doctoral student in computer science and electrical engineering at Stanford University from 1977 to 1982. He has been honored with a Fulbright scholarship, a German National Merit Foundation scholarship, the Stanford Entrepreneur Company of the year award, the Smithsonian Leadership Award for Innovation and is a member of the National Academy of Engineering.


Anant Agrawal
President & CEO
Verayo, Inc.


Anant Agrawal brings over 25 years of semiconductor and system industry experience to his CEO role at Verayo. Prior to Verayo, Anant was the founding CEO of Insilica, a fabless semiconductor company with operations in India, Slovenia and United States.

Anant spent a significant part of his career at Sun Microsystems from 1984 to 2002. Anant was one of the founding members of the team that started SPARC processor program at Sun. Over the years his teams designed a number of microprocessors and released them to production. For 7 years he was the Vice President and General Manager of the processor business unit. Anant began his career as a design engineer for Memorex Corporation and then joined STC Computer Research Corporation, where he was the lead technical designer of the floating point unit for an IBM compatible mainframe. Anant has also consulted for a number of Public companies and startups strategies and product development. He is currently also an advisor to Khosla Ventures.

Anant holds a Bachelor's degree in Electrical Engineering from the MS University of Baroda, India and a Master's degree in Electrical Engineering from Cornell University.