Pascal Fradet
Chargé de recherche
INRIA,
Projet Pop Art , INRIA Rhône-Alpes (précédemment
membre du Projet Lande , IRISA ,
Rennes )
Centres d'intérêt
Au passé et au présent: programmation fonctionnelle,
compilation,
transformation de programme, glaneurs de cellules, analyse de
programme,
lambda-calcul, typage, Gamma, langages dédiés,
programmation
par aspects, architecture de logiciel, descriptions multi-vues,
sécurité.
En ce moment, je regarde plus particulièrement:
- La programmation par aspects
J'étudie, en particulier,
- les aspects comme des propriétés formelles que
l'on impose automatiquement aux programmes,
- l'analyse et la vérification des programmes
orientés aspects,
- l'application de ce paradigme à divers domaines
(sécurité, tolérance aux fautes, etc.) .
- Les paradigmes de programmation non conventionnels
J'étudie, en particulier,
- le paradigme chimique
où un programme est une collection de réactions (i.e., réécritures
conditionnelles AC de
multiensemble)
- des extensions de ce modèle (ordre supérieur,
multiensembles infinis, etc.),
- son application à la spécification de
systèmes autonomes et à la coordination.
Adresse: Inria Rhône-Alpes, Courriel: 
655 av. de l'Europe, Montbonnot, Tel : (33) 4 76 61 52 46
38334 Saint Ismier Cedex, France Fax : (33) 4 76 61 52 52
English Version