National Academy of Engineering
Foreign Member: Latvian Academy of Sciences
Fellow: American Academy of Arts and Sciences; New
York State Academy of Sciences; AAAS
National Research Council Computer Science and
Telecommunications Board
Turing Award Committee; Goedel Prize Committee;
Waterman Award Committee
Visiting Committee to the Physical Sciences
Division, Univ. Chicago, 1992-1998
Program Committee: COCOON `96
Editor: Springer-Verlag Lecture Notes in
Computer Science; SIAM J. on Computing; J. of Computer and Systems Sciences
Advisory Board: EATCS Monographs in Theoretical
Computer Science, Springer-Verlag