I have a permanent CNRS research position at IRIT (Institute for Computer Science of Toulouse), located on the campus of the Technical University Toulouse. My postal address is (the first line is essential with both ingredients!)
I am member of the research group ACADIE that is the common successor to SVF and ZENO. The French acronym stands for "Assistance with the Certification of Distributed and Embedded Applications".
A reasonably recent photo:
Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) on July 15 in Edinburgh, a satellite of ITP'10 within FLoC'10. I am PC member.
Workshop on Computer Algebra Methods and Commutativity of Algebraic Diagrams CAM-CAD on October 16 and 17, 2009 in Toulouse. I was in the PC.
Workshop Fixed Points in Computer Science 2009 (FICS 2009) on September 12/13 in Coimbra, a satellite of CSL'09. I was program co-chair.
Workshop Higher-Order Rewriting 2007 (HOR 2007) on June 25 in Paris, within RDP'07 (there is also a local website for the workshop). I was program chair.
Last modified: Thu Feb 25 11:38:22 CET 2010