We conduct research on design and analysis problems at the boundary between hardware and software.

Our recent work has focused on the following topics: