Ludovic Henrio
Home
|
Publications
|
Talks
|
Students
|
Projects
|
Formal proofs
Here are the projects I am significantly involved in.
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)
INRIA associate team
DAESD
Other involvments:
2014-2017: Scientific advisory Board of the Envisage project