My research is currently funded by the MemCAD ERC project.
A Post-Doc position is available starting either during Summer
2012 or during Fall 2012, in order to develop static analysis
techniques and tools to reason about programs manipulating
complex data structures, and combinations of structures.
If you are interested, please contact me by email.
I am interested in static analysis of softwares, in order to prove
correctness properties (e.g., absence of runtime errors, functional
correctness, etc) in an automatic way:
Static Analysis of embedded, safety critical softwares the Astrée project
Astrée: static analysis,
for proving the absence of runtime errors in safety critical embedded
softwares.
Commercial support by AbsInt :
see here for more info.