In short ...
Associate Professor (Maître de
conférences)
University of Evry Val
d'Essonne
Researcher at
LRI UMR 8623 CNRS lab.,
ForTesSE
team
My research activities address the use of formal methods in
software engineering, especially in relation with
structuration.
Software Engineering is made up of techniques and tools to
build software pieces. In this area, the benefits of formal
methods are well-known. More than providing a scientific
background (which is important) for software engineering, they
support well-foundedness of the techniques, non ambiguous design
artifacts (aka specifications or models), and enable the automation
of the whole, or parts of, the design and programming
activities.
Structuration is a combination of divide to rule complexity
out and compose to make wholes from parts and to
reuse. Structuration is a generic term that covers
several instanciations such as modules, objects,
aspects/viewpoints, components and services.
My current research activities address the model-based (formal) techniques for the composition, coordination and adaptation of software. [more on this]
In this context, I am leading Project PERSO funded by the French National Agency for Research, whose objective is to develop models and techniques for design-time and run-time end-user composition of pervasive services. [more on this]
My teaching interests are mostly related to software engineering, both in-the-large (design and programming, including the use of formal methods, architectural descriptions and object/component/service paradigms) and related to distributed systems and Web services. [more on this]
