Center for Advanced Software Analysis (CASA) is an umbrella for a series of research projects in the Programming Languages research group related to program analysis and web technologies. Read about the projects at the CASA webpage.

Flix is a functional, imperative, and logic programming language developed at Aarhus University, with funding from the Independent Research Fund Denmark, and by a community of open source contributors.