Amy Lansky, PhD
1979 Hertz Fellow
Graduate Studies
Stanford University
Computer Science
Specification and Analysis of Concurrency