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.