<a href="http://www.cs.washington.edu/homes/chou/">Pai H. Chou</a>: Co-Synthesis of Embedded Systems (Software Synthesis)    <li>
