---

• Recent Research Projects
  • Agence Nationale de la Recherche (ANR)
  • Astrée
  • Thésée
  • Apron
  • Controvert
  • AstréeA

  • European Information Society Technologies (IST)
  • Daedalus

  • Information Technology for European Advancement (ITEA2)
  • Es Pass

  • Advanced Research & Technology for EMbedded Intelligence and Systems (ARTEMIS)
  • MBAT

  • Fondation de Recherche pour l'Aéronautique et l'Espace (FNRAE)
  • Survol
  • Ascert
  • Sardanes

---

• Recent Industrial Projects
  • Airbus (Airbus)
  • European Space Agency (ESA)

---

Email: radhiacousotens fr Address: École Normale Supérieure, 45 rue d'Ulm, 75230 Paris Cedex 05, France

Radhia Cousot's homepage

• Home
• Publications & Software
• Grants
• Teaching
• Contact