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: < ludovic.henrio@cnrs.fr> 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)



Conference organisation and program committees:

I am (or have been) member of the program committee  for the following conferences:

2019:
FASE 2019

2018:
I am part of the ICEcreamers and contribute to the organisation of ICE 2018 (Discotec workshop)
4pad 2018
(part of HPCS 2018)

2017:
WAO'17
TASE 2017
PDP 2017 4PAD special session
I am part of the ICEcreamers and contribute to the organisation of  ICE 2017

before 2017:
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):