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.

Les journées conjointes du GT VERIF (GDR IM) et du GT FORWAL (GDR GPL), ainsi que le workshop final du projet ANR ImpRo

sont organisés au LIP6 les 16, 17 et 18 juin prochain (Plus d'infos).

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