I am currently a member of the VALS - Verification of Algorithms Languages and Systems research group, joint team between LRI a Laboratory of French National Center for Scientific Research (CNRS) in the Computer Science Department here/ici at Université Paris Sud 11 and the Toccata group more/ici at INRIA - Saclay. Until august 2010, I have been a member of the former database group (RIP) headed by Nicolas Spyratos . You can consult a very succinct bio here Here is my list of publications. My Google Scholar Home Page is [ici/here]