Formats de données, cryptographie, codes correcteurs d'erreurs, algorithmes de compression
Expérience du responsable dans le domaine de l’UE
Maitre de conferences depuis 12 ans, HDR depuis 3 ans. En plus de CCC j'enseigne les mathematiques discretes en L2, la programmation en L3, la programmation en M1. Ancien membre de l'equipe calcul formel di lip6. membre de l'equipe spi du lip6.
Réalisations du responsable dans le domaine de l’UE
R. Rioboo: Towards Faster Real Algebraic Numbers. Journal of Symbolic Computation n 36. 2003
R. Rioboo: Certifying Computer Algebra systems. Invited talk EACA 2004
T.Hardin, R. Rioboo: Les objets des Mathemtatiques. Revue L'Objet 2004.
R. Rioboo, T. Hardin: Proceedings of the Calculemus 2003conference.
FoCaL development team: TheFoCaL reference manual. 2005
Acronyme : ccia
Spécialité : ACSI
6 ECTS
Niveau : 400
Semestre : S2
Titre : Conception de circuits intégrés analogiques