Vínculos

—- – – Laboratorio INFINIShttp://www.infinis.org/

EINFINISs un laboratorio de asociación argentino-francesa, entre el Centro Nacional de Investigación Científica (CNRS) y la Universidad “Paris Diderot”, por una parte, y el Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) y la Universidad de Buenos Aires, en el otro. Se dedica a la investigación en Ciencias de la Computación, especialmente a los aspectos vinculados a métodos formales, para el modelado, la verificación y el desarrollo de software complejos.

Equipe Algorithmique, Modèles de calcul, Aléa, Cryptographie, Complexité  https://www.greyc.fr/fr/node/32 Logo GREYC
El trabajo de investigación del equipo AMACC se centra alrededor de dos conceptos genéricos, los algoritmos y la complejidad, simbolizadas por la primera A y la última C, que subyacen todas nuestras actividades. Este equipo adopta dos puntos de vista complementarios. El primero estudia los módelos de cálculo o la noción de complejidad en el “peor caso” vía las clases de complejidad mientras que el segundo trabaja en un marco aleatorio, con modelos probabilísticos (la segunda A por Aleatorio).