Martin Abadi

Martin Abadi

  • Professor Emeritus, Computer Science
  • Computer Science
  • Computer and network security, principles of programming languages, specification and verification methods

Are you Martin Abadi? If so, you can update your directory information.