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.10.30 | CASA

ACM SIGPLAN Distinguished Paper Award to Adamsen and Møller

Congratulations to Christoffer Quist Adamsen and Anders Møller who have received ACM SIGPLAN Distinguished Paper Award at OOPSLA 2017 for the paper Practical Initialization Race Detection for JavaScript Web Applications. The paper is written in co-operation with Frank Tip.

Yue Li & Tian Tan

2017.09.12 | CASA

Welcome to two new postdocs

On September 11, Tian Tan and Yue Li joined the CASA team as Postdocs supervised by Anders Møller. Both have a PhD degree in Computer Science from University of New South Wales, Australia. In their spare time Tian enjoy swimming, fitness, playing volleyball, and so on, but my favorite sport is always basketball, while Yue enjoys playing…

Simon Gregersen

2017.08.01 | CASA

New PhD student: Simon Gregersen

On August 1, Simon Gregersen joins the groups as a PhD student. Simon obtained his Bachelor's degree in Computer Science from Aarhus University in July 2017, and will be undertaking his PhD studies in the CASA group supervised by Anders Møller. Prior to his enrollment, Simon worked as a student programmer in the same group…

Contact:

Head of Research

Anders Møller

Professor
M
H bldg. 5341, 224
P +4587156254
P +4523309994

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