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.