From: 2024-11-22 13:15 to 15:00
Place: E:A, E-building, Klas Anshelms väg 10 / John Ericssons väg 2, Lund, Sweden
Contact: idriss [dot] riouak [at] cs [dot] lth [dot] se

The public defence of the thesis takes place on Friday November 22nd, 2024 at 13:15.

Thesis title: Towards Declarative Specification of Static Analysis for Programming Tools

Author: Idriss Riouak, Department of Computer Science, Lund University

Faculty opponent: Professor Coen De Roover, Vrije Universiteit Brussel, Belgium

Examination Committee:

• Professor Emerita Nahid Shahmehri, Linköping University
• Associate Professor Erik Ernst, Google Danmark ApS
• Associate Professor Philipp Haller, Royal Institute of Technology
• Deputy: Associate Professor Flavius Gruian, Lund University

Session chair: Docent Michael Doggett, Lund University

Supervisors:

• Professor Görel Hedin, Lund University
• Associate Professor Christoph Reichenbach, Lund University
• Associate Professor Niklas Fors, Lund University

Location: E:A, E-building, Klas Anshelms väg 10 / John Ericssons väg 2, Lund, Sweden

For download: Follow this link to download the pdf: Link to follow...

Abstract

Abstract to be uploaded