Professor Anders Møller is one of 166 researchers who have been selected by the European Research Council (ERC) to receive a Proof of Concept Grant.…

Via Innovation Fund Denmark's InnoExplorer program, which is awarded for research results with commercial potential, Professor Anders Møller from the Department of Computer Science has received DKK 1.5 million to further develop software tools that can analyze JavaScript programs and automate updating these. The project, JSFIX, is carried out in collaboration with Martin Toldam Torp and Benjamin Barslev Nielsen, who are both PhDs from Anders Møller's research group.

Researchers from Logic & Semantics and Programming Languages have had a remarkably high number of papers accepted at the top conferences OOPSLA’20 and POPL’21. At OOPSLA, which takes place this week, five papers have been accepted for publication. At POPL, they got six papers got accepted, which is almost 10% of all accepted papers.

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.

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

Erik defends his PhD dissertation entitled: Automated Techniques for Creation and Maintenance of TypeScript Declaration Files on Thursday October 31,…

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 Techniques for Event-Driven and Dynamically Typed Software Applications. Congratulations!

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.