Nov 2020 – May 2022 · 1 yr 6 mos

• Some new stuff in infrastructure/security/scale

Oct 2015 – Nov 2020 · 5 yrs 1 mo

Jan 2014 – Oct 2015 · 1 yr 9 mos

• Play with exciting new technologies...

Jun 2012 – Aug 2012 · 2 mos

• At Apigee, I developed a web app to showcase the value of Apigee’s internal backend product (I was also part of the team developing this backend product). The web-app, developed using Java/Ajax/HTML, displayed relevant data on a Google map.

Jun 2010 – Aug 2010 · 2 mos · Hillsoboro

• Worked on designing tools to automatically capture design specification from design documents. These documents (like MS word and visio) contain English design specifications – I developed a tool which extracts relevant information from such documents, in order to assist design validation. The tool was written in Visual C#.

Sep 2007 – Jan 2014 · 6 yrs 4 mos

• My research work has been in the broad area of computer systems with a focus on formal methods for verification of such systems. In particular, my research focuses on leveraging symmetry in order to verify systems with a large number of repeated components. Examples of some verified systems include controllers of software defined networks (which are used in emerging data center networks), concurrent data structures and cache coherence protocols.

May 2006 – Jul 2006 · 2 mos · Bengaluru, Karnataka, India

• At Cypress, I accomplished two analog circuit designs. First, I designed a constant resistance switch with input current lesser than 0.1uA. Second, I designed an OPAMP with 120 db gain in a single stage.