European Summer School on Artifical Intelligence and Software Verification and Validation
Scientific researcher at LIRMM, France
Chef research scientist at Simula
Scientific researcher at Lirmm, France