Software Engineering

We develop tools, techniques, and methodologies to help software developers be better at their job of creating scalable, maintainable, and robust software products. We have a particular focus on language-based mechanisms and paradigms, as well as language-oriented tools.