Aarhus University Seal / Aarhus Universitets segl

Analysis of computer programs – Towards error-free computer programs

PhD defence, Friday 29 January 2021, Benjamin Barslev Nielsen

2021.01.29 | Mette Nielsen

Benjamin Barslev Nielsen

During his PhD studies, Benjamin Barslev Nielsen researched how to automatically detect errors in computer programs and how programs can be automatically updated. Computer programs are written by programmers, and the programs often contain errors. These errors can make programs misbehave or make them vulnerable to hacker attacks. To aid programmers, the research has involved automatically finding errors in programs. Benjamin Barslev Nielsen studied how to detect such errors for a programming language that is used on almost all web pages.

The new research findings contribute to the understanding of how to automatically detect errors in computer programs. Furthermore, the work has resulted in multiple extensions to an existing error detection tool as well as new tools for automatically updating computer programs.

The PhD study was completed at Institute for Computer Science, Faculty of Natural Sciences, Aarhus University.

This summary was prepared by the PhD student.

Time: Friday, 29 January 2021 at 13:00.
Place: The PhD defence will be held online.
To receive a link to the event, please send an e-mail to Henriette Gammelgaard Farup, henriettefarup@cs.au.dk.
Title of PhD thesis: Static Analysis for Node.js
Contact information: Benjamin Barslev Nielsen, e-mail: barslev@cs.au.dk, tel.: +45 60468290
Members of the assessment committee:
Professor Peter Thiemann, Department of Informatics, University of Freiburg, Germany
Professor Antoine Miné, Department of Computer Science, Sorbonne University, France
Associate Professor Christian Storm Pedersen (chairman), Bioinformatics Research Centre, Aarhus University, Denmark
Main supervisor:
Professor Anders Møller, Department of Computer Science, Aarhus University, Denmark
Language: The PhD dissertation will be defended in English

The defence is public.

Due to the coronavirus situation, the PhD thesis will not be available for reading at the offices of the PhD administration. Instead, interested parties may send an e-mail to gradschool.nat@au.dk to receive a digital copy of the PhD thesis. Please note, it may in certain cases be necessary to make an individual arrangement to read the PhD thesis.

PhD defence
16882 / i43