Loic Thierry successfully defends his PhD thesis

On 2 November 2025, Loic Thierry successfully defended his PhD thesis in the context of a co-tutelle with Carleton University (Canada), under the supervision of Brahim Hamid and Jason Jaskolka. The work is a continuous collaboration between IRIT and Carleton. The research focuses particularly on the formalisation of security using positive and negative statements in Event-B.