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.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…

2019.12.13 | CASA

Visit and talk by Alexander Jordan: Unacceptable Behavior: Robust PDF Malware Detection Using Abstract Interpretation

Alexander Jordan is visiting the CASA group and on Thursday December 19th he will give a talk titled: Unacceptable Behavior: Robust PDF Malware Detection Using Abstract Interpretation.  Time:10:00Place: Turing 230 Abstract: The popularity of the PDF format and the rich JavaScript environment that PDF viewers offer make PDF…

2019.10.31 | CASA

PhD defense - Erik Krogh Kristensen

Erik defends his PhD dissertation entitled: Automated Techniques for Creation and Maintenance of TypeScript Declaration Files on Thursday October 31, 2019 at 13:00 in Ada-333. Erik is number 300 to be awarded his PhD from the department. 

Contact:

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