Abstract:

Web applications constitute a substantial part of modern software. JavaScript is the main programming language of the web, although alternatives are emerging, in particular, TypeScript and Dart. It is difficult to prevent errors when programming web applications, despite the advances in design of languages and libraries, and errors often affect the functionality and the security of the web applications.

Program analysis is an exciting research area that provides algorithms for automatically reasoning about the behavior of programs, for example to detect errors. Although the basic principles of program analysis have been known for decades and an abundance of analysis techniques have been developed, the dynamic aspects of web applications lead to interesting new research challenges.

This talk will give an overview of the challenges and some recent results in program analysis for advanced web applications.

Bio:

Professor Møller has received worldwide recognition for his research. In 2010, he was awarded a Sapere Aude Starting Grant, and this was followed in 2015 by a prestigious ERC Consolidator Grant, which is awarded to promising researchers in Europe. He has also received research awards from Google and IBM. Professor Møller’s field of research is programming language and software development, with a focus on program analysis and web programming. He is director of the research group at the Centre for Advanced Software Analysis, which includes five PhD students, two postdoctoral fellows, and partners in both Europe and the USA. The group develops new techniques for ensuring high-quality software and increased productivity for programmers.

In addition to his research, Professor Møller teaches subjects ranging from the theory of computability to practical web programming.

Professor Møller completed his PhD in Computer Science at Aarhus University in 2002. He subsequently worked at the department as an assistant professor and subsequently associate professor, prior to being appointed professor.

Reception:

To celebrate Anders Møller, the Department of Computer Science invites you to a reception after the inaugural lecture. The reception will take place outside the auditorium