Bell Laboratories 700 Mountain Avenue, 2B-311 Murray Hill, NJ 07974 USA 908 582-0426 (voice) 908 582-1239 (Fax) marks@research.bell-labs.com
I am a member of technical staff (MTS) in the Internet
Management Research department in the Networking Research Lab at
Bell Laboratories. My areas of
research interests are network performance and fault management,
distributed algorithms, and formal verification techniques. I received
my Ph.D. from MIT where I was a
student in the Theory of Distributed Systems Group
which is part of the Theory
of Computation Group in the The
Computer Science and Artificial Intelligence Laboratory. My
Ph.D. thesis was supervised by Professor Nancy Lynch.