Ludovic Henrio
Home
|
Publications
|
Talks
|
Students
|
Projects
|
Formal proofs
Feb 2013:
This web page has moved
THERE
Here are the projects I am significatively involved in.
National Projects:
Opencloudware
Others
INRIA associate team
SCADA
(principal investigator)
INRIA associate team
DAESD
Former Projects:
CoreGrid Network of Excellence
(09/2004 - 08/2008)
Integrated Project BioNets
(01/2006 - 12/2009)