Aarhus University Seal / Aarhus Universitets segl

News

2020.03.05 | CASA , Featured, Public/media

STIBO grant to Martin Toldam Torp

Congratulations to PhD student Martin Toldam Torp who has received a travel grant from the STIBO foundation. Martin will use his DKK 38.000 for his stay at University of Stuttgart.

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 , Public/media, Featured

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 , Featured, Public/media

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. 

2019.05.28 | CASA , Featured, Public/media

Honorable mention to Christoffer Quist Adamsen

Former PhD student Christoffer Quist Adamsen (now Software Engineer at Google) has been selected by the Executive Committee of ACM SIGSOFT and its selection committee for this year’s honorable mention for the ACM Outstanding Doctoral Dissertation Award. The honorable mention is given to Christoffer for his PhD dissertation: Automated Testing…

Frank Tip, Professor at Northeastern University.

2018.09.10 | CASA , Featured, Public/media

Visit and talk by Frank Tip: Asynchronous Programming: Challenges and Research Opportunities

Frank Tip will be visiting the CASA group September 17-19. On September 17, he will give a talk on Asynchronous Programming: Challenges and Research Opportunities from 10:00-11:00 in Nygaard-395.

Jens Palsberg, Professor at UCLA

2018.08.15 | CASA , Featured, Public/media

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

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

2018.05.14 | CASA , Featured, Public/media, PhD defense

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 , Featured, Public/media

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

2018.03.12 | CASA , Featured, Public/media

Qirun Zhang visits the CASA team on March 15 and 16

On March 15 and 16, Qirun Zhang from the Department of Computer Science at UC Davis will visit the CASA team. During the visit, Qirun will give an exicting talk on Practical Program Analysis: Principles and Techniques. The talk takes place in Ada-333 at 12:00 on March 15.

Showing results 1 to 10 of 113

1 2 3 4 5 6 7 8 9 10 Next