CAS³C³

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)

Photo de l'équipe CAS³C³

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))