Laboratoire de l'Informatique du Parallélisme UMR CNRS 5668
Parallel and grid computing, networks
Arithmetic of computers, embedded systems
Calculation models and complexity
Semantics of programming languages, computer-assisted proofs
Website : www.ens-lyon.fr/LIP/
Direction
Bora UCAR
Commission des thèses
Bora UCAR
Laurent LEFEVRE
Laurent LEFEVRE
Domaine
Informatique
Type
Laboratoire