Laboratoire de l'Informatique du Parall¨¦lisme (LIP)

Le projet du LIP s'inscrit dans l'¨¦tude du monde num¨¦rique futur et de ses fondements th¨¦oriques, pour inventer de nouveaux concepts informatiques et anticiper leur r¨¦percussion sur les autres sciences. Un fil rouge est la cha?ne de production informatique compl¨¨te, de la th¨¦orie ¨¤ la pratique, du langage ¨¤ l¡¯architecture. La sp¨¦cificit¨¦ du laboratoire est la mixit¨¦ et la collaboration entre l¡¯informatique fondamentale et les aspects de mise en ?uvre pratique de l¡¯informatique. Ce continuum est une source majeure d'invention. La machine (ordinateur, infrastructure) est le centre de nos ¨¦tudes, elle est abord¨¦e aussi bien en tant qu¡¯entit¨¦ abstraite que comme objet  physique. Nos ouvertures, riches vers les math¨¦matiques, vont en outre vers le calcul haute performance, la simulation et le calcul num¨¦rique, les sciences des r¨¦seaux, le traitement du signal, la micro-¨¦lectronique, les industries de communication et de semi-conducteurs.

Les chercheurs du LIP ont pour socle commun l¡¯algorithmique et l¡¯utilisation efficace des ressources. Les recherches s'organisent selon deux axes compl¨¦mentaires et transverses :

Les recherches concernent des mod¨¨les, des algorithmes et des d¨¦veloppements logiciels/mat¨¦riels dans l'optique d'optimiser la gestion des technologies et ressources nu-m¨¦riques du futur, en particulier pour des applications de calcul math¨¦matique et scienti-fique (crit¨¨res de performance, de s?ret¨¦ et s¨¦curit¨¦, ¨¦nerg¨¦tiques, de qualit¨¦ du calcul, etc.). Sous cet angle, les r¨¦sultats marquants touchent ¨¤ la compilation et l'optimisation de code dans le domaine de l'embarqu¨¦, ¨¤ l'ordonnancement, aux algorithmes et aux architectures logicielles en HPC, ¨¤ l'arithm¨¦tique des ordinateurs, aux r¨¦seaux de t¨¦l¨¦communication, ¨¤ l'alg¨¨bre lin¨¦aire et au traitement du signal. Dans le domaine de l'informatique math¨¦matique nos avanc¨¦es phares se placent notamment en logique et preuve pour la mod¨¦lisation des programmes informatiques, dans le domaine des r¨¦seaux euclidiens et de la cryptologie, en complexit¨¦, en combinatoire et algorithmique sur les structures discr¨¨tes et les graphes dynamiques, en calcul formel.

Les activit¨¦s du laboratoire sont ¨¦galement tourn¨¦s vers de nombreuses autres disciplines scientifiques avec de solides collaborations en calcul scientifique, sciences du vivant et sciences sociales.

Le LIP est associ¨¦ aux labex MI-Lyon (math¨¦matiques et informatique) et PRIMES (physique, radiobiologie, imagerie m¨¦dicale et simulation), ainsi qu'¨¤ l'¨¦quipex FIT (internet du futur).

Les 120-130 membres scientifiques du laboratoire LIP ont des collaborations internationales sur tous les continents qui se traduisent par la cosignature d'articles avec des chercheurs de plus de 40 universit¨¦s ¨¦trang¨¨res.

La production logicielle est tr¨¨s diversifi¨¦e, depuis les biblioth¨¨ques de calcul jusqu¡¯aux logiciels et outils ¨¤ large diffusion. Les chercheurs participent ¨¤ de nombreux pro-jets nationaux et internationaux (R¨¦gion, ANR, Minist¨¨re, CNRS, INRIA, Union Europ¨¦enne, etc.). Ces programmes constituent la premi¨¨re source de financement. Le LIP est parte-naire des p?les de comp¨¦titivit¨¦ Minalogic et System@tic et s¡¯implique largement en valori-sation et transfert vers les industries de communication, de semi-conducteurs et de calculateurs (activit¨¦s contractuelles avec Alcatel-Lucent, IBM, STMicroelectronics, etc.).

Depuis 2010, 5 start-ups ont ¨¦t¨¦ cr¨¦¨¦es dans le domaine du num¨¦rique par des membres du LIP.