Laboratoire de l'Informatique du Parallélisme UMR CNRS 5668
Calcul parallèle et sur grilles, réseaux
Arithmétique des ordinateurs, systèmes embarqués
Modèles de calcul et complexité
Sémantique des langages de programmation, démonstration assistée par ordinateur
Site web : www.ens-lyon.fr/LIP/
Direction
Bora UCAR
Commission des thèses
Bora UCAR
Laurent LEFEVRE
Laurent LEFEVRE
Domaine
Informatique
Type
Laboratoire