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)
- Circuits numériques (spécification, sémantique, transformations, preuves Coq de
propriétés de tolérance aux fautes)
- 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 certification de réseaux temps réels
J'étudie en particulier
- les réseaux temps réels utilisés dans l'automobile (par ex. TSN)
- la formalisation de ces réseaux
- la vérification formelle en Rocq/Coq de leurs propriétés temps réel
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