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

Jens Palsberg, Professor at UCLA

2018.08.15 | CASA

Talk by Jens Palsberg: Jones-Optimal Partial Evaluation by Specialization-Safe Normalization

On August 20, Jens Palberg will visit the group and give an exciting talk about Jones-Optimal Partial Evaluation by Specialization-Safe Normalization in Nygaard-295 from 13:00-14:00.

2018.05.14 | CASA

PhD defense by Christoffer Quist Adamsen

On May 23, Christoffer Quist Adamsen will defend his PhD thesis entitled Automated Testing Techniques for Event-Driven and Dynamically Typed Programming Languages. The defense takes place at Department of Computer Science in Ada-333 from 13:00-15:00. All interested are welcome to join.

2018.03.21 | CASA

Sergio Mover visits the CASA team on April 4 and 5

On April 4 and 5, Sergio Mover from University of Colorado will visit the CASA team. During the visit, Sergio will give an exicting talk on Abstractions and models to design safe Event-Driven Cyber-Physical Systems. The talk takes place in Nygaard-295 at 11:00 on April 4.

Contact:

Head of Research

Anders Møller

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