Dr. Martín Abadi Member
Principal Scientist , Google, Inc.
More Info
  • 2018
  • Computer Science & Engineering
More Info
  • 2018
  • Computer Science & Engineering
Election Citation
For contributions to the formal theory of computer security.