Erwin Engeler#
| Email: | engeler 'at' math.ethz.ch |
| Membership Number: | 1042 |
| Main Country of Residence: | SWITZERLAND |
| Section: | MATHEMATICS |
| Username: | eengeler |
Present and Previous Positions
- 1997 Prof.emer. ETH
- 1972 – 1997 Prof. f. Logik u. Informatik, Dept.Math. ETH Zürich
- 1967-1972 Full Prof. Univ.of Minnesota, Minneapolis
- 1963 – 1967 Assoc.Prof. Univ.of Minnesota, Minneapolis
- 1962 1963 Asst.Prof. UC Berkeley
- 1958 - 1962 Asst Prof. Univ.of Minnesota, Minneapolis
- 1958 Dr.sc.math. ETH Zürich
Fields of Scholarship
- mathematical logic, in particular theory of models
- infinitary logic
- algorithmic logic
- combinatory algebra and foundations of computer science
- theoretical neuroscience
Honours and Awards
- Fellow Assoc. Computing Machinery
- Academia Europaea
- ACM (Association for Computing Machinery), named Fellow 1997
- The American Mathematical Society
- The Swiss Mathematical Society
- The Swiss National Research Council (1985 - 1997)
- The Swiss Association for the Promotion of Computer Science and its Applications (as President 1987 - 1997), now SARIT
| operated by | 
|