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. • A new paper, written with Alexandre Chapoutot and Yassamine Seladji :  Abstract Fixpoint Computations with Numerical Acceleration Methods.
   

2. • I won the second prize of the SPECIF Gilles Kahn Prize for the best french PhD thesis in computer science. Here are the slides of the presentation I made at the SPECIF forum : bouissou_forum_specif.pdf
   

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