Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Laurent Mauborgne

Laurent Mauborgne

Maître de Conférences
Directeur adjoint aux études en informatique

Je suis membre de l'équipe sémantique et interprétation abstraite.

Recherche

Mon domaine d'étude concerne la représentation des domaines en interprétation abstraite. Beaucoup de liens utiles sur ce domaine peuvent être trouvés sur la page de Patrick Cousot

Analyseur statique ASTRÉE
Thèse sous la direction de Patrick Cousot, intitulée Représentation d'ensembles d'arbres pour l'interprétation abstraite.
Publications

Enseignement

TDs de compilation à l'ENS (solutions des premiers TDs )
Participation au cours de niveau M1 Fondements de l'interprétation abstraite à l'ENS.
Participation au cours de niveau M2 du MPRI, Interprétation abstraite
Cours en petit groupe, dans le cadre du cours d'informatique fondamentale de l'École Polytechnique.
Sujet de projet en informatique
Anciens cours et TDs

Laurent Mauborgne
Département d'Informatique
École Normale Supérieure
45, rue d'Ulm 75 230 Paris cedex 05 (France)
Téléphone : +33 (0) 1 44 32 20 66
mél : Laurent.Mauborgne@ens.fr
Clé publique