Maurice Laveaux started as a PhD candidate in the AVVA project in our group. He will be exploring ways of using parallelism for accelerating verification and use verification to prove the correctness of highly parallel programs.