mugshot

Welcome to my home page. I am a graduate student pursuing my M.S. in Computer Science at the School of Computing in the University of Utah. I am working with Prof. Ganesh Gopalakrishnan in the Utah Verifier (UV) group. I did my undergraduate studies from the Birla Institute of Technology and Science, Pilani, India. I majored in Mathematics and Computer Science. After my undergraduate studies I worked for one year at Hughes Software Systems in Bangalore developing software based on Voice over IP (VoIP) protocols H.323 and SIP.

Research

Publications

Here's my Resume (doc) (pdf)

Contact Information

You can mail me at 
 
Office Address Home Address
School of Computing, Room #3190 1263 E South Temple, Apt. 10
50 S. Central Campus Drive, University of Utah Salt Lake City, UT 84102
Salt Lake City, Utah - 84112-9205
Phone: (801) 581-4183 Phone: (801) 531-1756

Personal

Fun Stuff

Warp images.

Friends

My Bookmarks (not updated for a long time)


"Be what you would seem to be" - or if you'd like it put more simply -
"Never imagine yourself not to be otherwise than what it might appear
to others that what you were or might have been was not otherwise than
what you had been would have appeared to them to be otherwise."
    - The Duchess, from Lewis Caroll's Alice's Adventures in Wondeland