2017 Team Activity Report
CARTE
Theoretical adverse computations, and safety
Inria teams are typically groups of researchers working on the definition of a common project, and objectives, with the goal to arrive at the creation of a project-team. Such project-teams may include other partners (universities or research institutions).
Research centre:
Nancy - Grand Est
Keywords:
Computer Science and Digital Science:
- A1.1.11. - Quantum architectures
- A2.4.1. - Analysis
- A4.5. - Formal methods for security
- A7.2. - Logic in Computer Science
- A8.6. - Information theory
- A8.7. - Graph theory
Other Research Topics and Application Domains:
- B9.4.1. - Computer science
- B9.4.2. - Mathematics