Ludovic Henrio

Home     |     Publications     |     Talks     |     Students     |     Projects      |     Formal proofs

Feb 2013: This web page has moved THERE

I am a researcher in the OASIS team  - I have got a position (CR1) at CNRS
E-mail: < ludovic.henrio@cnrs.fr> photo
Postal address : INRIA - projet OASIS
2004 route des Lucioles BP93
FR-06902 Sophia Antipolis
Telephone : (+33/0) 4 92 38 71 64
Fax :
 (+33/0) 4 92 38 76 44
English CV
 CV in english (Jan 2012)
(in French) web site on hiking / biking Site vélo/rando: bv96

Research interests:

Semantics, Object calculi, Components, Concurrency and Distribution, Confluence and Determinacy, Static analysis, Java, Java Card, model checking, theorem proving, fault tolerance, distributed systems.

My research topics include the development of formal aspects of distributed objects and components, like for example the ASP calculus. I applied those tools  to various topics as confluence, fault tolerance, ...
I also did a few research on static analysis in different contexts and am also interested in behavioural specification of objects and components.



I am (or have been) member of the program commitee  for the following conferences:
FOCLASA 2009, 2010, 2011, 2012; FESCA 2009, 2010, 2011, and 2012. SAFA workshops.
 
On this very basic page you will find:
A few external links on sports and mountains (in French):