Franck Vedrine
Research Engineer
CEA
Palaiseau, France
4 profile visits
I conduct research on the application of formal reasoning to (LLM-generated) software to improve its verification, maintenance and refactoring.
My organisation
At CEA LIST, department Digital Instrumentation, gathering skills on sensors and related electronics and analysing tools, some based on AI for monitoring of process, products and infrastructures, we are a large department of 300 researchers including PhDs and PostDocs.
About me
Call topics of interest
Which of the call topics are you / your organisation interested in?
HORIZON-CL4-2025-04-DIGITAL-EMERGING-04: Assessment methodologies for General Purpose AI capabilities and risks