Feb 2013: This web page has moved THERE
I am a researcher in the OASIS
team - I have got a position (CR1) at CNRS
Semantics, Object calculi,
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
distributed objects and components, like for example the ASP calculus.
I applied those tools to various topics as confluence, fault
I also did a few research on static analysis in different contexts and
am also interested in behavioural specification of objects and
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.
On this very basic page you
A few external links on sports
and mountains (in French):