 I'm a doctoral student at <a href="http://wwwhost.cc.utexas.edu/"> UT-Austin </a>in the department of <a href="http://www.cs.utexas.edu/"> Computer Sciences </a>.  My research advisor is Professor <a href="http://www.cs.utexas.edu/users/emerson">  E. Allen Emerson </a>. I'm interested in the use of temporal logic to  reason about concurrent programs, in the semantics of concurrency, distributed algorithms, and automata theory.   I came here in Fall 90, after receiving my bachelor's degree in computer  science from the Indian Institute of Technology, Madras. There is a  wonderful <a href="http://sol.rutgers.edu/~sabesan/iit.html"> IIT-Madras home page </a> with lots of fun stuff. If you would like to know more about my interests,  here's some <a href="http://www.cs.utexas.edu/users/kedar/interests.html"> personal information </a>.        <H2>
