COMPUTER ALGEBRA, SECURITY, COMPLEX SYSTEMS, CODES, SECRETS, CRYPTOLOGY


Home Members Seminars PhD Publications Software
Gallery

Team leader: Jean-Guillaume DUMAS

The CAS3C3 team belongs to the AMAC department (Algorithms, Models, Analysis and Computations) and gathers researchers interested in Computer algebra and Symbolic computations, in Security, in Complex systems, in Coding theory and Cryptology.
CAS3C3 logo
Research interests

Our current research focuses on the following themes and is applied to several projects.

  • Computer algebra, symbolic and numerical algorithms: exact linear algebra, arithmetics, complexity
  • Cryptology, security and coding theory
  • Parallel algorithms, object-oriented engineering, hybrid symbolic-numeric systems
  • Formal methods for software engineering, algebraic semantics for programming languages, graph transformations
  • Differential algebraic equations
  • Complex systems

CAS3C3 team picture

The CAS3C3 team follows on from the CASYS team:

Administrations CNRS G-INP Inria UGA