Véronique Cortier Thèmes de recherche Fonctions occupées Distinctions

Description

Véronique Cortier Thèmes de recherche Fonctions occupées Distinctions

Sujets

• Sciences et techniques

Informations

• Publié par: awigocax
• Nombre de lectures: 151
• Langue: Français

Extrait

née le 31 mars 1978 nationalité française 2 enfants

Véronique Cortier LORIA, projet Cassis Campus Scientifique, BP 239 54506 Vandœuvre-lès-Nancy, France tél. : +(33) 3 83 59 30 55 fax : +(33) 3 83 27 83 19 e-mail : [e-mail] page web : http://www.loria.fr/˜cortier Thèmes de recherche Vérification de protocoles cryptographiques : vérification de propriétés, détection d’attaques, mo- dèles formels et cryptographiques, composition de protocoles. Déduction automatique : résolution de clauses, réécriture, automates d’arbres, algèbres de processus.

Fonctions occupées Depuis Oct. 2010 : Directrice de recherche CNRS au Loria et membre de l’équipe-projet INRIA Cassis. Nov. 2009 : Habilitation à diriger des recherches , obtenue le 18 novembre 2009 à l’INPL, Nancy. Titre du mémoire : Analyse des protocoles cryptographiques : des modèles symboliques aux modèles calculatoires . Présisent du jury : Jacques Stern ; Rapporteurs : Serge Abiteboul, Yassine Lakhnech, Roberto Segala ; Examinateurs : Jean Goubault-Larrecq, Joshua Guttman, Jean-Yves Marion, Michael Rusinowitch ; Invité : Hubert Comon-Lundh. Oct. 2003 - Sept. 2010 : Chargée de recherche CNRS au Loria et membre de l’équipe-projet INRIA Cassis. 2001-2003 : Allocataire de recherche et moniteur à l’ENS de Cachan. Thèse de l’ENS de Cachan au LSV, soutenue le 20 mars 2003. Sujet : Vérification automatique des protocoles cryptographiques sous la direction de Hubert Comon-Lundh. 1997-2001 : Élève normalienne de l’École Normale Supérieure de Cachan . Agrégation de mathématiques et Magistère de mathématiques et informatique.

Distinctions ERC Starting grant 2010 Projet de recherche (ProSecure) sélectionné et financé par l’ERC (Euro- pean Research Concil). Prix Le Monde 2004 de la recherche universitaire. Un livre présentant les 15 thèses lauréates est publié aux Presses Universitaires de France, janvier 2006. Prix de thèse Specif 2003 remis par l’association des universitaires et chercheurs en informatique de France.

Octobre 2010