I'm originally from New Delhi, though I did my undergraduate education at the Indian Institute of Technology in Bombay (now Mumbai), from where I graduated with a B.Tech in Computer Sciences in 1990. After graduation, I joined AT&T in Murray Hill, NJ, where I worked with Narendra Karmarkar on his idea for a special-purpose architecture for scientific computation. I left AT&T in 1992 to start graduate studies at the Department of Computer Sciences at the University of Texas at Austin, receiving my M.S. in 1994, and my PhD in October 1999 (supervised by Jay Misra). From November 1999 through August 2003, I worked at the Compaq/HP Systems Research Center (formerly DEC-SRC). From October 2003 through September 2018, I worked at the Laboratory for Reliable Software at NASA's Jet Propulsion Laboratory in Pasadena, CA. I currently work with the Automated Reasoning Group at Amazon Web Services.

I have had many hobbies over the years, but one passion that has endured since an early age has been a love of astronomy. After a long hiatus, I have recently returned to astrophotography (mostly from my light-polluted backyard in the suburbs of L.A.). You can find some older terrestrial and astro photographs in this gallery, and more recent astro photos on astrobin.