Vrije Universiteit Brussel
Wetenschappen en Bio-ingenieurswetenschappen
Wetenschappen en Bio-ingenieurswetenschappen
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