Back to the main page

The defense of my Habilitation thesis entitled Combinations of Analysis Techniques for Sound and Efficient Software Verification took place on November 20, 2018 at CEA List. The Defense committee included:

• Wolfgang Ahrendt, Professor, Chalmers Univ., reviewer

• Catherine Dubois, Professor, ENSIIE, examiner

• Roland Groz, Professor, Grenoble INP, reviewer

• Marieke Huisman, Professor, Univ. of Twente, reviewer

• Claude Marché, Research Director, Inria, examiner

• Stephan Merz, Research Director, Inria, examiner

• Burkhart Wolff, Professor, Univ. Paris-Sud, examiner

The thesis is available here.

The slides presented during the defense can be found here.

Back to the main page