Department of Informatics

Foundations of software systems

The Foundations of Software Systems research group focuses on both practical and theoretical aspects of compilation, programming languages, pervasive computing, distributed systems and networking.

For more information, visit the Foundations of Software Systems website.