Innovating the Intelligence of Formal Techniques for Automatic Design Verification

Executive Board

Executive Board

Andy Bechtolsheim
Founder, Chief Development Officer and Chairman
Arista Networks


As Chief Development Officer, Andy Bechtolsheim is responsible for the overall product development and technical direction of Arista Networks.

Previously Andy was a Founder and Chief System Architect at Sun Microsystems, where most recently he was responsible for industry standard server architecture. Andy was also a Founder and President of Granite Systems, a Gigabit Ethernet startup acquired by Cisco Systems in 1996. From 1996 until 2003 Andy served as VP/GM of the Gigabit Systems Business Unit at Cisco that developed the very successful Catalyst 4500 family of switches. Andy was also a Founder and President of Kealia, a next generation server company acquired by Sun in 2004.

Andy received an M.S. in Computer Engineering from Carnegie Mellon University in 1976 and was a Ph.D. Student at Stanford University from 1977 until 1982.


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.