The goal of this research area is to develop fundamentally new formalisms, techniques and tools for efficient development and deployment of reliable, secure and efficient software. The group focuses on the three interconnected areas of programming languages, software engineering and security.
