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".
As a CNRS researcher, I belong to Section 7 of the National Committee of Scientific Research.
A reasonably recent photo:
Workshop Fixed Points in Computer Science 2013 (FICS 2013) on September 1st in Torino, Italy, a satellite of CSL 2013. I chair the steering committee, and I am a PC member.
Conference Types for Proofs and Programs (TYPES 2013), April 23-26, 2013, Toulouse, France. I was the main organizer and co-chair of the PC.
Workshop Proof, Computation, Complexity 2013 (PCC 2013), April 22-23, 2013, Toulouse, France. I was local organizer and co-chair of the PC.
Workshop Fixed Points in Computer Science 2012 (FICS 2012) on March 24 in Tallinn, Estonia, a satellite of ETAPS 2012. I was PC member and I have been also chair of the steering committee.
23rd European Summer School in Logic, Language and Information (ESSLLI 2011), August 1-12, 2011, Ljubljana, Slovenia. I was PC member.
Tenth International Conference on Typed Lambda Calculi and Applications (TLCA 2011), June 1-3, 2011, Novi Sad, Serbia. I was PC member.
Workshop Fixed Points in Computer Science 2010 (FICS 2010) on August 21/22 in Brno, Czech Republic, a satellite of MFCS & CSL'10. I was PC member and I have been also in the steering committee.
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 was 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, Portugal, 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 (date in French): mer. mai 15 17:20:37 CEST 2013