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

2017.03.17 | CASA

Anders Møller appointed Professor

As of April 1, Anders Møller has been appointed Professor at the department of Computer Science, Aarhus University.

2017.01.27 | People

New student programmer at CASA

On February 1, Simon Gregersen joins the CASA team as a Student Programmer. I'm currently pursuing my bachelor's degree in computer science at the department, finishing this summer. I am very much looking forward to assisting the CASA group to learn, explore, and enjoy the wonders of programming languages! When not messing around with…

2017.01.10 | CASA

Talk by Maria Christakis, University of Kent, January 23

Abstract: Most static program analysis techniques do not fully verify all possible executions of a program. They leave executions unverified when they do not check certain properties, fail to verify properties, or check properties under certain unsound assumptions, such as the absence of arithmetic overflow...

Contact:

Head of Research

Anders Møller

Associate professor
M
H bldg. 5341, 224
P +4587156254
P +4523309994

Administration

Sofia Rasmussen

Research Group Coordinator

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