Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Martín Abadi Interests
[go: Go Back, main page]

Martín Abadi

Education

PhD in Computer Science, Stanford University, April 1987.

Work

Member of the research staff at Compaq (formerly Digital) Systems Research Center, from February 1987 to July 1999.

Member of the research staff at Bell Labs Research, Lucent Technologies, since July 1999.

Research interests

Most of my research concerns three areas:
  • computer and network security,
  • specification and verification methods,
  • programming languages.
    Martín Abadi / Bell Labs Research, Palo Alto / Lucent Technologies