fond
photo
Béatrice Bérard's Home Page

Thèmes de recherche

Mes travaux portent sur la modélisation et l'analyse de systèmes réactifs, critiques ou embarqués, comportant des aspects quantitatifs, notamment liés à l'écoulement du temps.

Journée: Hiding and Disclosing Information

co-organisée le 3 décembre 2013 avec John Mullins, en congé sabbatique de l'Ecole polytechnique de Montréal. Thèmes : Quantitative Information Flow, Opacity and Diagnosis (Plus d'info).

Stage de M2 2014

Résolution de contraintes polynomiales pour la vérification de modèles paramétrés

Current Position

Professeur à Université P & M. Curie
Membre de l'équipe MoVe au LIP6

Responsable de la spécialité SAR du master d'informatique

Addresse

LIP6 - CNRS UMR 7606
4 Place Jussieu,
75252 Paris Cedex 05
France

Téléphone

+33 1 44 27 88 24

Mail

prenom.nom (sans accent)@lip6.fr

Liens utiles

Move est fondateur de

Move est membre de