The public defence of the thesis takes place on Monday May 19th, 2025 at 09:00 in M:J

Thesis title: Fully Declarative Specification of Static Code Checkers

Author: Alexandru Dura, Department of Computer Science, Lund University

Faculty opponent: Senior Research Scientist Julia Lawall, Inria-Whisper

Examination Committee:

• Professor Martin Monperrus, Royal Institute of Technology
• Associate Professor Magnus Madsen, Aarhus University, Denmark
• Associate Professor Eva Brugisser (Darulová), Uppsala University
• Deputy: Professor Jacek Malec, Lund University

Session chair: Senior Lecturer Michael Doggett, Lund

Supervisors:

• Senior Lecturer Christoph Reichenbach, Lund University
• Senior Lecturer Emma Söderberg, Lund University

Location: M:J, M-building, Ole Römers väg 1F, Lund, Sweden

For download: A download link will be added here...

Abstract

An abstract will be added here...