I am a PhD student at INRIA Rennes – Bretagne Atlantique research center and IRISA UMR 6074 laboratory, in the Celtique team, under the supervision of Sandrine Blazy and David Pichardie. I am part of the Verasco research project.Fresher information should be sought on imdea.org
I am a PhD student at INRIA Rennes – Bretagne Atlantique research center and IRISA UMR 6074 laboratory, in the Celtique team, under the supervision of Sandrine Blazy and David Pichardie. I am part of the Verasco research project.
My research area is about verified static analysis.