Martin Abadi

Martin Abadi: After completing his doctorate, Abadi joined the Systems Research Center (SRC) at Digital Equipment Corporation (DEC) in Palo Alto,...