PLT works on advanced programming languages, including language design, formal semantics, language implementation, and programming environments. Its members are spread throughout the world.
Utah PLT is part of the Kahlert School of Computing at the University of Utah.