Past activities/projects

• a project selected for the SIMagine 2006 Contest of Axalto (rate: 50 projects were selected among ~350) with the "Security of Information" team of XLIM (former LMSI).
• participant of the project AS CNRS "Sécurité Logicielle : Modèles et Vérification" for the "Distributed Systems and Objects" team of the LaBRI (2003-2004).
• participant of the project RTP 19 CNRS "Systèmes Embarqués Complexes ou Contraints" for the "Distributed Systems and Objects" team of the LaBRI (2003).
• member of the PC of: CITSA'06 (Orlando, Florida, USA), CCCT'05 (Austin, Texas, USA), CITSA'05 (Orlando, Florida, USA), CCCT'04 (Austin, Texas, USA), CITSA'04 (Orlando, Florida, USA)
• reviewer of: IPDPS 2003 (IWJPDC -- Denver, Colorado, USA)