Erwin Engeler
From Wikipedia, the free encyclopedia
Erwin Engeler (born 13 February 1930) is a Swiss mathematician who did pioneering work on the interrelations between logic, computer science and scientific computation in the 20th century. He was one of Paul Bernays' students at the ETH Zürich.
After completing his doctorate in 1958, Engeler spent fourteen years in the United States, teaching at the University of Minnesota and at the University of California, Berkeley. He returned to Switzerland in 1972, where he served as a professor of logic and computer science at the ETH until his retirement in 1997.
Erlenger was named a Fellow of the Association for Computing Machinery in 1995.
[edit] Selected publications
- Engeler, Erwin (1993). Algorithmic Properties of Structures: Selected Papers of Erwin Engeler. World Scientific. ISBN 9810208723.
[edit] External links
 |
This article about a mathematician is a stub. You can help Wikipedia by expanding it. |
