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.
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|