Amir Pnueli	NYU and Weizmann Institute of Science
Lenore Zuck	NYU and the Mitre Corporation
Benjamin Goldberg	NYU
STUDENTS
Yi Fang	NYU
Ying Hu	NYU