Welcome to the Doctoral Defense of Idriss Riouak
Date and time: November 22, 13:15
Location: E:A, E-building, Klas Anshelms väg 10 / John Ericssons väg 2, Lund University, Lund
Doctoral student: Idriss Riouak, Department of Computer Science, Lund University
Title: Towards Declarative Specification of Static Analysis for Programming Tools
Main supervisor: Professor Görel Hedin, Department of Computer Science, Lund University
Opponent: Professor Coen De Roover, Vrije Universiteit Brussel, Belgium
