The objective of our group is to develop tools to enable designers to quickly and correctly design complex systems, and to teach them how to do it. The central research agenda is to raise the level of abstraction at which designers may describe their designs by providing them with domain-specific languages to specify their design and automated tools that will implement their specifications.