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 Chez Bruno Blanchet
Bruno Blanchet
Je travaille au LIENS (Laboratoire d'Informatique de l'École Normale
Supérieure), comme chargé de recherche au CNRS, dans l'équipe
interprétation abstraite, dirigée par Patrick Cousot.
Mon thème de recherche est l'analyse statique de programmes, par
interprétation abstraite, pour vérifier ou optimiser ces programmes.
Je me suis en particulier intéressé à la vérification des protocoles
cryptographiques et à l'optimisation de la gestion de la mémoire pour
les langages ML et Java.
Pour plus d'information, voir les pages suivantes:
Bruno Blanchet
Ecole Normale Supérieure
Département d'informatique
45, rue d'Ulm
75230 PARIS CEDEX 05
FRANCE
Courrier électronique : Bruno.Blanchet@trap-ens.fr (supprimez trap-)