Ludovic Henrio

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

I am now the scientific leader of the SCALE team  - I have got a position (CR1) at CNRS, in I3S lab
E-mail: <> photo
Postal address : I3S - projet SCALE
2000, rte des Lucioles - Les Algorithmes - bât. Euclide
06903 Sophia Antipolis cedex - France
Telephone : (+33/0) 4 92 94 26 96

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.

My CV (in English)

I am (or have been) member of the program committee  for the following conferences:
FOCLASA 2009, 2010, 2011, 2012, 2013;
FESCA 2009, 2010, 2011, 2012, and 2013,
Local SAFA workshops.
ICE 2013, 2014, 2015. I am part of the ICEcreamers and contribute to the organisation of ICE 2016!
Agere 2015
PDP 2016 4PAD special session


On this very basic page you will find:

A few external links on sports and mountains (in French):