GeneralAfter my phd (categorical composition in game semantics) defense at the pps lab of paris 7 under the supervision of Vincent Danos, I worked as a demi-ATER at Villetaneuse for half a year. Then I've been employed by the EADS common research center at Suresnes, working on code obfuscation.This denotes techniques to prevent program from reverse engineering essentially to guard critical software against theft of intellectual property. This has been a very rewarding period working neer very skilled people : concerning security issues in electronics as well as in network, and also questions about intrusion detection in different contexts.
I've then been hired in the french Comissariat à l'Energie Atomique at Saclay in the Software Safety Lab. At first time I worked on analysis of very high description languages and systemC with Nicolas Ayache and Franck Vedrine.
And then I switched to the MeASI team which is a common research team between CEA and LiX. The team is involved in two distincts scientific axes, on the one hand static analysis of numerical precision and in the other hand static analysis on parallel programs.
Our work is funded by a PLBL with EDF R&D and by the very new Panda ANR project.
In this direction, with Emmanuel Haucourt, Eric Goubault, and Samuel Mimram (by and by with Christine Tasson as post doc) we try to provide geometric keys to the issue of the state space explosion in parallel programming context. The original idea by E. Goubault is to use directed algebraic topology, those methods arose in the 90's with as principal contributors Martin Raussen, Lisbeth Fajstrup and Marco Grandis. Many other research areas use algebraic topology to solve problems. This is hopefully going to give rise to a European Scientific Fundation application in the very next few months. More recently Sanjeevi Krishnan gave contribution notably with E. Haucourt and E.Goubault here and Marco Grandis wrote a father book that sets the field in motion more and more.
For more precise information on me: my CV.
Laboratoire de ModÉlisAtion des Systèmes en Interaction du CEA LIST - 91191 Gif sur Yvette Cedex
Laboratoire d'Informatique de l'École Polytechnique - 91128 Palaiseau Cedex
Laboratoire Preuves Programmes et Systèmes université Paris VII- 75013 Paris Cedex