Erwin Engeler

ACM Fellows

Switzerland - 1995

citation

Erwin Engeler is honored for his pioneering work on the interrelations between logic, computer science and scientific computation.