AG Bockisch

The programming languages and tools (PLT) group researches languages and development tools supporting developers throughout the entire software life cycle in writing runtime and energy efficient, maintainabile, reliabile and correct software.