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 : Clément PERNET
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.
- 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
