Joint PhD with ASCOLA (Mines Nantes, Inria, LINA, CNRS: France)
Static verification of concurrent programs.
