Pascal Fradet
Chercheur INRIA
Projet
Spades, INRIA Grenoble
(précédemment membre du Projet PopArt, INRIA Grenoble, et, avant
2003, du Projet Lande , IRISA/INRIA Rennes )
Centres d'intérêt
Au passé et au présent:
- Langages fonctionnels (compilation, transformation et analyse de
programmes, lambda-calcul, typage, glaneurs de cellules, description de
circuits, Coq)
- Langages base de règles (réécriture conditionnelle AC, programmation
chimique, Gamma, HOCL)
- Langages à aspects (sémantique, interaction, assurer/préserver des
propriétés)
- La certification d'analyses temps-réel (analyseurs/certifieurs,
formalisation/vérification en Coq)
- Langages flot de données (extensions de SDF analysables statiquement)
En ce moment, je regarde plus particulièrement:
- Les langages flot de données
J'étudie en particulier
- les modèles reconfigurables dynamiquement et autres extensions de
SDF
- leur utilisation pour la mise en œuvre des réseaux de neurones
- l'analyse et la minimisation de leur consommation mémoire
- La transformation de circuits pour la tolérance aux fautes
J'étudie en particulier
- la formalisation des circuits, fautes et modèles de fautes
- des techniques de tolérance aux fautes comme des transformation de
circuits
- la vérification formelle en Coq de propriétés de tolérance aux
fautes
Adresse: Inria Grenoble Rhône-Alpes, Courriel : 
655 av. de l'Europe, Tel : (33) 4 76 61 52 46
38330 Montbonnot, France Fax : (33) 4 76 61 52 52
English Version