Leo Bachmair

Professor Emeritus of Computer Science

Stony Brook University