About me.

I’m a young researcher in computer science, employed by CEA List in the laboratory “Modélisation et Analyse des Systèmes en Intéraction” (LMeASI). My main field of research is the static analysis, using abstract interpretation, of hybrid systems made of a discrete control command program and a continuous environment modelled as a set of ODEs.

Resume.

You can find my resume here (in english) or here (in french).

Links.

Some interesting links:

1. -Homepage of Alexandre Chapoutot, researcher in static analysis of Simulink programs.
   

2. -Homepage of Nicolas Ayache, researcher in static analysis of SystemC programs.
   

3. -Homepage of Xavier Allamigeon, researcher in static analysis of C programs, in particular memory manipulation related problems.

Contact.

Address: CEA List - DRT/DTSI/SOL/LMeASI

               F-91191 Gif-sur-Yvette Cedex

               FRANCE

Mail: olivier.bouissou@cea.fr

Tel: +33 1 69 08 88 59

News.

1. • The CPP project, funded by the french Agence Nationale pour la Recherche, will start on Octobre, 1st. Its official webpage is here : www.lix.polytechnique.fr/~bouissou/cpp
   

2. • The 17th International Static Analysis Symposium (SAS'10) will be held in Perpignan, France, in September 2010. The paper submission deadline is 19 March. Learn more