Ludovic Henrio
Home
|
Publications
|
Talks
|
Students
|
Projects
|
Formal proofs
Here are the projects I am significatively involved in.
International:
INRIA associate team
DAESD
Other involvments:
Since 2014: Scientific advisory Board of the Envisage project
Former Projects:
CoreGrid Network of Excellence
(09/2004 - 08/2008)
Integrated Project BioNets
(01/2006 - 12/2009)
FSN Opencloudware
INRIA associate team
SCADA
(principal investigator)