Add Sriram's web page.

I am currently taking a class from Dr. Sankaranarayanan and figured it might be good to add his web site to this list of papers/people.