Martín Abadi - Martín Abadi

Martín Abadi
Nascer 1963 (idade 57-58)
Argentina
Educação PhD , Stanford University , 1987
Conhecido por Burrows – Abadi – Needham lógico
Baby Modula-3
Uma Teoria dos Objetos
Carreira científica
Campos Criptografia de ciência da computação
Instituições Google
University of California, Santa Cruz
Collège de France
Orientador de doutorado Zohar Manna

Martín Abadi (nascido em 1963) é um cientista da computação argentino , trabalhando no Google em 2021. Ele obteve seu doutorado em filosofia (PhD) em ciência da computação pela Universidade de Stanford em 1987 como aluno de Zohar Manna .

Ele é bem conhecido por seu trabalho em segurança de computador e em linguagens de programação , incluindo seu artigo (com Michael Burrows e Roger Needham ) sobre a lógica de Burrows – Abadi – Needham para analisar protocolos de autenticação e seu livro (com Luca Cardelli ) A Theory of Objetos , apresentando cálculos formais para a semântica de linguagens de programação orientadas a objetos .

Em 1993, ele publicou a linguagem de programação Baby Modula-3 , um subconjunto ou sublinguagem seguro do Modula-3 , baseado em programação funcional e ideais da teoria de conjuntos .

Ele é um Fellow de 2008 da Association for Computing Machinery . Em 2011, foi professor temporário no Collège de France em Paris , ensinando segurança de computadores . Ele foi eleito membro da National Academy of Engineering em 2018 por suas contribuições à teoria formal da segurança do computador.

Referências

links externos