Activities in the Department and University

• Member of the Conseil de l'UFR IMA.
• Member of the commission de spécialistes 27eme section de l'UJF, Marseille and Jussieu.
• Member of the Conseil Scientifique de l'Uniservité Joseph Fourier.
• Vice Président Recherche adjoint responsable du pôle MSTIC de l'université Joseph Fourier

Teaching Activities

• Langages et automates, L2.
• Modèles de calcul, L3.
• Langage de programmation : traducteurs et Sémantique, M1.
• Modèles pour la sécurité des systèmes informatiques, M2P, Cryptologie,  Sécurité et Codage de l'information.
• Vérification des protocoles de sécurité M2R
  

• EVA: Explication et Vérification Automatique de protocoles cryptographiques
• ACI Rossignol: Verification of Cryptographic Protocols.
• RNTL PROUVE

• 4th Canada-France MITACS Workshop on Foundations & Practice of Security 12-13 May, 2011 Paris, France.
• Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign Grenoble, France July 26-28, 2010
• AfricaCrypt 2009, June 21-25, Gammarth, Tunisia not far away from Carthago.
• Computer Aided Verification (CAV) 2009, June 26-July 2, Grenoble, France
• The 6th International Workshop on Security Issues in Concurrency will be co-located with CONCUR 2008.
• 1st Canada-France MITACS Workshop on Foundations & Practice of Security
  Montreal, Quebec May 31 - June 2, 2008
• The First International Workshop on Dependability and Security in Complex and Critical Information Systems
  DEPEND 2008, August 25-31, 2008 - Cap Esterel, France
• 2nd IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2008)
  Oct 6--9, 2008, Toronto, Canada
• SafeCert 2008 International Workshop on the Certification of Safety-Critical Software Controlled Systems,
  29 March 2008, Budapest, Hungary.
• TFIT 2008: The Fourth Taiwanese-French Conference on Information Technology Taipei, Taiwan, March 3-5, 2008
• 12th ASIAN Computing Science Conference Focussing on Computer and Network Security
• 3rd Workshop FCC'07 (Formal and Computational Cryptography); associated with
  IEEE 20th Computer Security Foundations Symposium, Venise (Italie), juillet 2007
• Workshop FCC'06 (Formal and Computational Cryptography); associated with ICALP'06, Venise (Italie), juillet 2006
• Workshop on the Link between Formal and Computational Models         24-24 juin 2005, Paris, France
• FORMATS'05
• COSMICAH'05
• Format and FTRTFT together