Paul Richard
Halmos

University of Michigan






John
Lehoczky

Carnegie Mellon

Pak-Kuen P.
Lee

Carnegie Mellon
(Options)

Pak-Kuen LeeX