Erwin Engeler#
| Membership Number: | 1042 |
| Membership type: | ORDINARY |
| Section: | MATHEMATICS |
| Elected: | 1991 |
| Main Country of Residence: | SWITZERLAND |
| Homepage(s): | http://www.math.ethz.ch/~engeler |
Present and Previous Positions
- 1997 Professor Emeritus
- 1972 - 1997 Professor of Logic and Computer Science, Mathematics Department, ETH, Zurich
- 1967 - 1972 Full Professor, University of Minnesota, Minneapolis
- 1963 - 1967 Associate Professor, University of Minnesota, Minneapolis
- 1962 - 1963 Assistant Professor University of California, Berkeley
- 1958 - 1962 Assistant Professor, University of Minnesota, Minneapolis
- 1958 Dr.sc.math. ETH Zürich
Fields of Scholarship
- Infinitary logic
- Algorithmic logic
- Mathematical logic, in particular theory of models
- Theoretical neuroscience
- Combinatory algebra and foundations of computer science
Honours and Awards
- Fellow Assoc. Computing Machinery
- 1997 Fellow, ACM (Association for Computing Machinery)
- Member of the American Mathematical Society
- Member of the Swiss Mathematical Society
- 1985 - 1997 Swiss National Research Council
- 1987 - 1997 President of the Swiss Association for the Promotion of Computer Science and its Applications, now SARIT
