B. A. Krishna

B. A. Krishna has worked in various roles and companies throughout their career. B. A. started as an Intern at Bell Communications Research in 1993. B. A. then joined Silicon Graphics Inc in 1995 as an MTS, where they worked on projects like Bedrock and Synergy, focusing on operating systems, diagnostics, design verification, and some formal verification. At Chelsio Communications Inc, they worked as a Member of Technical Staff from 2001 to 2006. In Cisco Systems, they served as a HW Engineer from 2006 to 2007. Currently, they are a Principal Engineer at Chelsio Communications, emphasizing Formal Verification and working on real-world verification problems in the ASIC domain.

B. A. Krishna earned a Bachelor's degree in Computer Science & Technology from the Indian Institute of Technology, Roorkee, where they studied from 1988 to 1992. Following this, they pursued a Master's degree in Computer Science at the University of Kentucky, where they completed their studies from 1992 to 1995. Prior to their higher education, Krishna attended Bhavan's Rajaji Vidyashram from 1981 to 1987, although the specific degree and field of study obtained at this institution are not mentioned.