Research projects

The overall research strategy in TRESE is called Quality-Oriented Software Engineering. Our research activities are carried out in four complementary areas: Architectures, Services, Programming Languages, and Verification & Optimization.
Our most recent projects are indicated below.