Virgile Prevosto
CEA List
Researcher-Engineer
Virgile Prevosto is a research engineer at List, an institute of CEA Tech located on Paris-Saclay University’s campus. He has been working for more than ten years on the Frama-C software analysis and verification platform (https://frama-c.com), in particular its kernel and various plug-ins aimed at formally specifying and verifying various kinds of properties over C code. His research interests revolve mostly around software engineering, notably formal methods, sound static analysis, semantics of programming language and compilation.