 My research interests include <a href="http://www.cs.utexas.edu/users/cpg/RTS/"> real-time systems</a>, rule-based program timing analysis, software engineering, artificial intelligence, and computer Go. </ul>
