Shankar Govindaraju's Home

June 2000

PhD in Electrical Engineering from Stanford University in Stanford, CA.

June 1996

MS in Electrical Engineering from Stanford University in Stanford, CA.

June 1994

BTech. in Electronics and Electrical Communications Engg. from Indian Institute of Technology, Kharagpur, India

June 1990

Intermediate schooling from DAV Jawahar Vidya Mandir, Ranchi, India

June 1988

Primary schooling from St. Xavier's School, Doranda, Ranchi, India

Practical formal verification for hardware and software systems

Binary Decision Diagrams (BDDs), Model Checking

All aspects of Computer Aided Design (CAD) for digital systems

Coverage Analysis and Test Generation

My Graduate Coursework at Stanford

Synopsis of my research

Map of India

Bhaarat Ek Khoj (Discovery of India)

Andhra Pradesh, my home state in India

Return to India

I am a member of ASHA-Stanford, a group that raises funds to sponsor child education projects in rural India.

A proposal for a small school in rural India submitted to ASHA

Pictures of India from Benjamin Klatsky.

Pictures from my PhD graduation ceremony

• Madhu (younger brother), I and Venu (elder brother)
• Madhu (younger brother) and I
• Shaking hands with Mark Horowitz after being hooded by David Dill

My Family home page

Interesting Articles/Quotes

My Favorites

Cosmology

Stanford. Stanford EE. FLASH.