Martin Abadi / Catalogues
Martin Abadi est principal researcher à Microsoft Research Silicon Valley et professeur à l'University of California, Santa Cruz. Sa recherche porte en particulier sur la sécurité informatique et sur les langages de programmation. Il a été professeur associé au Collège de France pour l'année 2010-2011, dans la chaire d'Informatique et sciences numériques. Acheter / Commander les livres de Martin Abadi
![]() |
![]() |