Fellow
Switzerland – 1995
CITATION

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