Yuri Gurevich

Professor Emeritus of Computer Science
University of Michigan, Ann Arbor, MI, USA
gurevich_at_umich.edu