Accès rapides

Présentation de la chaire

Créée en partenariat avec Inria, la chaire annuelle Informatique et sciences numériques marque une volonté commune de faire valoir l'importance de cette discipline scientifique et la nécessité de lui octroyer une place pleine et entière.

La sécurité informatique

La recherche de Martin Abadi porte principalement sur la sécurité informatique, sur les langages de programmation et sur les méthodes de spécification et preuve formelle. Il s'est intéressé, par exemple, au développement de la théorie des langages de programmation orientés-objet et à la conception et l'analyse des protocoles de communication sécurisés sur Internet.