 I am a member of Prof.Misra's <a href="http://www.cs.utexas.edu/users/psp/">PSP Research Group</a> and of Prof.Emerson's <a href="http://www.cs.utexas.edu/users/emerson/">Temporal Reasoning Group</a>.  As part of my work I have developed a model checker for finite state UNITY programs and propositional UNITY logic, the  <a href="http://www.cs.utexas.edu/users/markus/uv2/welcome.html">UNITY Verifier System</a>.  <p>
