Paul Blouët

Job Description

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

Research Description

Static verification of concurrent programs.