I am currently working on a hardware verification project at  <a href = http://www.ibm.com/>IBM</a> in the <a href = http://www.rs6000.ibm.com/>RS/6000</a> division. It ties in with my Ph.D research under Professor  <a href = http://www.cs.utexas.edu/users/emerson/>Allen Emerson</a>. </ul>
