Stay Informed:

COVID-19 (coronavirus) information
Zoom Links: Zoom Help | Teaching with Zoom | Zoom Quick Guide

Martin Abadi

Martin Abadi

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

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