Register
Register
Register

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

CEA

CEA

Research organisation

Paris, France

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.
Read more

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