Aarhus University Seal / Aarhus Universitets segl

About CASA

Center for Advanced Software Analysis is located at Department of Computer ScienceAarhus University. The center conducts research in program analysis and web technologies, aiming to improve software quality and programmer productivity.

The center is supported by grants (totalling 4.2 M euros) from the European Research Councilthe Danish Research Council for Technology and Production Sciences and the Danish Council for Independent Research. The research activities are additionally financially supported by IBM Research and Google.

News

2020.11.16 | CASA

Great success for LogSem and PL at two top conferences

Researchers from Logic & Semantics and Programming Languages have had a remarkably high number of papers accepted at the top conferences OOPSLA’20 and POPL’21. At OOPSLA, which takes place this week, five papers have been accepted for publication. At POPL, they got six papers got accepted, which is almost 10% of all accepted papers.

2020.03.05 | CASA

STIBO grant to Martin Toldam Torp

Congratulations to PhD student Martin Toldam Torp who has received a travel grant from the STIBO foundation. Martin will use his DKK 38.000 for his stay at University of Stuttgart.

2020.02.27 | CASA

Elite Research Prize to Anders Møller

Congratulations to Professor Anders Møller, who will be honored by the Minister for Higher Education and Science as one of five new Elite Researchers, later today. Anders Møller is the third computer scientist to receive this title, and is honored for his work in theoretical computer science with a focus on programming language and program…

Contact:

Head of Research

Anders Møller

Professor, Deputy Head of Department

Administration

Funding

The Danish Research Council for Technology and Production Sciences and the Danish Council for Independent Research (Sapere Aude), grants no. 09-064210, 10-081627, 10-082660.

The European Research Council (ERC Consolidator Grant), grant no. 647544.

 

ERC Banner