Ludovic Henrio
THIS PAGE HAS MOVED THERE
I am now the scientific leader of the SCALE
team - I have got a position (CR1) at CNRS,
in I3S lab
| E-mail: |
<
ludovic.henrio@cnrs.fr> |
 |
| Postal address : |
I3S - projet SCALE
2000, rte des Lucioles - Les Algorithmes - bât. Euclide
06900 Sophia Antipolis - 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.
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):