<a href="http://www.cs.washington.edu/homes/ortega/">Ross B. Ortega</a>: Co-Synthesis of Embedded Systems (Interface Synthesis) </ul>
