{"partition": "head_middle", "source_domain": "www.cnrs.fr", "digest": "sha1:3ET2TSFZBRKF7INE2FRNH7C27PF2FU54", "path": "/lustre/fsn1/projects/rech/qgz/uzq54wg/processed_redpajama/base_processing/output/fr/2014-15/000_00017.parquet"}
- Laure Petrucci nommée directrice du LIPN
Mots-Clefs CNRS
La recherche en sciences de l’information
Vie de l’institut
Présentation de l’institut
Présentation de l’institut Vos contacts à l’INS2I Organigramme La recherche en sciences de l’information
Cristal Médaille d’argent Médaille de bronze Actualités scientifiques	Vie de l’institut	Prix et distinctions	Evénements	Projets Exploratoires Pluridisciplinaires (PEPS) Mission pour l’interdisciplinarité Primes d’Excellence Scientifique (PES)	Les laboratoires de l’Institut
Liste des laboratoires Annuaire Informations pratiques aux laboratoires
Conférences et colloques Appels d’offres Prix scientifiques Bourses et postdocs Formations Relations internationales
L’INS2I à l’international Unités mixtes internationales (UMI) Laboratoires internationaux associés (LIA) Groupements de recherche internationaux (GDRI) Site des Affaires européennes et des relations internationales Carrières et emplois
Chercheurs Ingénieurs, techniciens et administratifs Recrutement des personnels handicapés Doctorants Post-doctorants Mobilité au CNRS Mobilité hors CNRS Espace communication
Espace presse Banque d’images du CNRS La vidéothèque du CNRS Le journal du CNRS CNRS international magazine Documentation Espace grand public Espace jeunes CNRS Editions Recherchez sur ce site
Laure Petrucci nommée directrice du LIPN
Laure Petrucci a été nommée directrice du Laboratoire d’informatique de Paris-Nord (Université Paris 13/CNRS) au 1er juillet 2012.
Après une thèse à l’Université Pierre et Marie Curie en janvier 1991,
Laure Petrucci a été recrutée la même année comme maître de conférences à
l’Institut d’informatique d’entreprise (IIE). Elle a rejoint le Laboratoire spécification et vérification (ENS Cachan/ CNRS), en 1999. En 2003, elle a intégré le Laboratoire d’informatique de Paris-Nord, suite à son recrutement comme professeur des universités à l’Université Paris 13.
Ses thématiques de recherche concernent la spécification et la vérification
formelles de systèmes parallèles asynchrones. Elle s’intéresse d’une part à
la méthodologie de spécification, pour guider la modélisation de systèmes
complexes, et d’autre part aux techniques d’analyse modulaires et
compositionnelles. L’objectif est de repousser les limites du model-checking
en proposant des algorithmes de construction et de parcours de structures
compactes dans un contexte distribué ou sur des architectures multi-coeurs.