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

Home | Members | Seminars | PhD | Publications | Software |
Gallery |

#### Team leader: Jean-Guillaume
DUMAS

The
CAS

^{3}C^{3}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.- 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