Calcul Algébrique et Symbolique, Sécurité, Systèmes Complexes, Codes et Cryptologie
Responsable : Clément Pernet
L’équipe CAS³C³ fait partie du département AMAC du LJK et regroupe des chercheuses et chercheurs s’intéressant au Calcul Algébrique et Symbolique, à la Sécurité, aux Systèmes Complexes, aux Codes et à la Cryptologie.
Nous sommes hébergés dans le bâtiment IMAG, sur le campus de Saint-Martin-d’Hères de l’Université Grenoble-Alpes.
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 (focus)
- 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 (focus)
Enseignement
Les membres de l’équipe enseignent principalement à l’UFR IM²AG, au département informatique de l’IUT2 et à l’Ensimag. En particulier, l’équipe est investie dans le master Cybersécurité.
Historique
L’équipe CAS³C³ prend la suite de l’équipe CASYS (liste de publications (2007-2018))