Our research and teaching focus on the construction and analysis of high-quality software systems. We develop theoretical foundations as well as practically-useful tools to explore new ways to write, specify, verify and test programs. Most of our work targets object-oriented programs, both sequential and concurrent.