Languages and Tools

The Languages and Tools group devises sophisticated techniques and models for understanding software systems, programs and programming abstractions based on powerful mathematical abstractions. The group develops related design and implementation technology to demonstrate the viability of those techniques to support developers in managing the ever increasing complexity of modern software.