Ludovic Henrio

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


I am now member of the Cash team at LIP - I have got a researcher position (CRCN) at CNRS
Until September 2018 I was the scientific leader of the SCALE team in I3S lab
E-mail: < ludovic.henrio@ens-lyon.fr> photo
Postal address :

LIP Laboratory, ENS Lyon
46 Allée d’Italie
69364 Lyon
France

Telephone : (+33/0) 4 89 15 43 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 (or organising committee) for the following conferences:

2019:
I am part of the ICEcreamers and contribute to the organisation of ICE 2019 (Discotec workshop)
FASE 2019
Coordination 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):