"PLT is a multi-university group working on advanced programming languages, including language design, formal semantics, language implementation, and programming environments."