• Adresse (Address)


• Curriculum Vitæ


• Activités de recherche (Research activities)


• Principales publications (Main papers)


• Quelques photos (some photographs)


• Documents de cours (lecture notes)
  
  
• Textes et pamphlets
  
  
• Autres activités
  

---

Adresse (Address)

Laboratoire VERIMAG

Centre Equation

2 avenue de Vignate

38610 GIERES FRANCE

Tel: (+33) 4 56 52 03 75

Fax: (+33) 4 56 52 03 50

Paul.Caspi@imag.fr

---

Curriculum Vitæ

français

english

---

Activités de recherche (Research activities)

• Répartition de programmes synchrones (projet Esprit Crisys )

(Synchronous Program Distribution) (Crisys Esprit project)

• Flots de données synchrones et preuves déductives

(Synchronous data-flow and deductive proofs)

• Flots de données synchrones et programmation fonctionnelle

(Synchronous data-flow and functional programming)

• Le langage à flots de données synchrones

(The synchronous data-flow language) LUSTRE

• Fiabilité du logiciel

(Software reliability)

• Architectures sûres de fonctionnement

(Highly dependable architectures)

• Identification de systèmes

(System identification)

---

Grenoble, le 30 octobre (October 30) 2001