Idriss Riouak defends his thesis in the subject Computer Science with the title "Towards Declarative Specification of Static Analysis for Programming Tools". Faculty opponent is Professor Coen De Roover, Vrije Universiteit Brussel, Belgium.