Présentation

Unité de recherche 4219

Les activités du LACL sont en informatique fondamentale. Plus précisément, la thématique principale du laboratoire concerne la conception des éléments théoriques pour la modélisation formelle de systèmes, des algorithmes et des logiciels.
Le laboratoire est organisé autour de deux équipes pourvues des pôles suivants :
  • Équipe logique, calcul et programmation
    • Modèles de calculs
    • Calculabilité d’ordre supérieure
  • Équipe spécification et vérification de systèmes
    • Langage B
    • Modèles probabilistes et temporisés ; méthodes statistiques

L’équipe SVS dispose en plus de deux axes “parallélisme” et “systèmes distribués”.