Martin Abadi

Martin Abadi Biografia
Aniversário 1963
Argentina
Nacionalidades Americano argentino
Treinamento Stanford University ( Philosophiæ doctor ) (até1987)
Atividades TI , segurança de computador , criptógrafo
Outra informação
Trabalhou para Universidade da Califórnia em Santa Cruz , Google , Collège de France (2011)
Membro de Association for Computing Machinery (2008)
Supervisor Zohar Manna
Distinção ACM Fellow

Martín Abadi (nascido em 1963) é um cientista da computação argentino . Ele trabalha na Universidade da Califórnia em Santa Cruz e no Google .

Ele é mais conhecido por seu trabalho em segurança de sistemas de informação, bem como em linguagens de programação . Ele se tornou membro da Association for Computing Machinery em 2008.

Biografia

Ele obteve um Ph.D. da Universidade de Stanford em 1987 sob a supervisão de Zohar Manna .

Em 2011, lecionou no Collège de France em Paris .

Notas e referências

  1. (em) "  Página não encontrada  "
  2. (em) "  Martin Abadi  " , Association for Computing Machinery (acessado em 15 de maio de 2011 )
  3. (in) Decreto do Presidente da República Francesa , de 7 de setembro de 2010, que nomeia o Sr. Martin Abadi, professor da Universidade da Califórnia , como professor temporário em tempo integral para o ano letivo de 2010-2011

links externos