Paul Blouët

Office: F.10.735
E-mail: paul.blouet@vub.ac.be
Address:
Vrije Universiteit Brussel
Faculty of Sciences, DINF – SOFT
Pleinlaan 2
B-1050 Brussels, Belgium

Job Description

Joint PhD with ASCOLA (Mines Nantes, Inria, LINA, CNRS: France)

Research Description

Static verification of concurrent programs.