Martin Abadi
Microsoft Research Silicon Valley / UC Santa Cruz

Citation

For contributions to computer security and verification of computer systems.



[Fellows]   [Awards]