Software Evaluation

Anne Canteaut (1) , Miguel Angel Fernández (2) , Luc Maranget (3) , Sophie Perin (4) , Mario Ricchiuto (5) , Manuel Serrano (6) , Emmanuel Thomé (7)

1 COSMIQ - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
2 COMMEDIA - COmputational Mathematics for bio-MEDIcal Applications
3 CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme
4 Inria Lille - Nord Europe
5 CARDAMOM - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
6 INDES - Secure Diffuse Programming
7 CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms

This document is intended for the members of Inria juries in order to assist them in their evaluation of software developed by the researchers. It results from the work carried out by the Software Evaluation working group from March to December 2020.

Domaines: Informatique [cs]

Anne Canteaut, Miguel Angel Fernández, Luc Maranget, Sophie Perin, Mario Ricchiuto, et al.. Software Evaluation. [Research Report] Inria. 2021. ⟨hal-03110728⟩