Équipe CALCULS ALGÉBRIQUES ET SYSTÈMES DYNAMIQUEs





Accueil Membres Séminaire Stages et thèses Publications Logiciels
Images

Responsable : Jean-Guillaume DUMAS

L'équipe CASYS (Calculs Algébriques et Systèmes Dynamiques) fait partie du Département MAD (Modèles et Algorithmes Déterministes) et regroupe des chercheurs s'intéressant au calcul exact, à l'analyse et au contrôle de systèmes dynamiques hybrides (symboliques/exacts/numériques) ainsi qu'à la modélisation de ces calculs.
Thèmes de Recherche

Nos recherches actuelles sont centrées sur les thèmes suivants, liés à plusieurs projets.

  • Calcul formel, algorithmes symboliques et numériques : algèbre linéaire exacte, arithmétique, complexité
  • Cryptologie et codes
  • Parallélisme, modélisation orientée objet, systèmes numériques-symboliques
  • Méthodes formelles pour la modélisation logicielle, sémantique algébrique des langages de programmation, transformation de graphes
  • Equations différentielles et calcul formel
  • Dynamique des systèmes complexes

photo de
                  l'équipe