PhD Quentin STIÉVENART

25/05/2018 - 16:00

Quentin Stiévenart obtained on May 25 2018 the academic degree of Doctor of Sciences with the following doctoral thesis:
Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading
Promotors: Prof. dr. Coen De Roover & Prof. dr. Wolfgang De Meuter