  I am a Ph.D. candidate at <a href="http://wwwhost.cc.utexas.edu/"> UT-Austin </a> in the <a href="http://www.cs.utexas.edu/"> Department of Computer Sciences.</a> My supervising professor is <a href="http://www.cs.utexas.edu/users/misra"> Jayadev Misra </a> and my dissertation topic is  <a href="ftp://ftp.cs.utexas.edu/pub/techreports/tr94-10.ps.Z">  <em> Real-Time UNITY</em>. </a> I am a member of Professor Misra's  <a href="http://www.cs.utexas.edu/users/psp"> PSP research group. </a> <p>
