2020-06-17 – 14:45-15:00 (Africa/Abidjan), Main Video Conference Room
The DECODER project simplifies software library and component reuse, while ensuring that they will behave as expected by the developer. The DECODER central database (PKM) stores code-related artifacts and establish bindings between them, notably by generating formal specification from informal requirements or semi-formal models from source code.
Inria
Virgile Prevosto holds an Engineering degree from École Polytechnique and a PhD in CS from Université Paris 6. After a post-doc at Max-Planck Institute for Informatics in Saarbrücken and a stay at Inria Rocquencourt, he joined CEA List in 2006, and has been since then a core developer of the Frama-C platform and acted as CEA's principal investigator for various collaborative projects, including the coordination of the French-German DEVICE-Soft and ANR U3CAT projects.