CALCUL ALGÉBRIQUE ET SYMBOLIQUE, SÉCURITÉ, SYSTÈMES COMPLEXES, CODES ET CRYPTOLOGIE


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

Responsable : Jean-Guillaume DUMAS

L'équipe CAS3C3 fait partie du Département AMAC (Algorithmes, Modèles, Analyse et Calcul) et regroupe des chercheurs s'intéressant au Calcul Algébrique et Symbolique, à la Sécurité, aux Systèmes Complexes, aux Codes et à la Cryptologie.
logo de
                  l'équipe CAS3C3
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, cybersécurité 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
  • Équations différentielles et calcul formel
  • Systèmes complexes

photo de
                  l'équipe CAS3C3

CAS3C3 prend la suite de l'équipe CASYS :

Tutelles CNRS G-INP Inria UGA