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

2016.10.14 | CASA

Talk by Alex Summers from ETH Zurich on October 26

Alex Summers from ETH Zurich will give a talk about the Viper Project on October 26 in Nygaard-295. Abstract...

2016.09.01 | CASA

Talk by Jeremy Siek from Indiana University on September 7

Jeremy Siek from Indiana University will give a talk about Compiling gradually typed languages for efficiency on September 7 at 14:00 in Nygaard-395. Abstract...

2016.08.30 | CASA

PhD defense by Fabio Strocco

On Thursday September 8, Fabio Strocco will defend his PhD dissertation entitled Type Soundness in the Dart Programming Language. We wish him the best of luck with both defense and his future career!

Contact:

Head of Research

Anders Møller

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

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