Prof. Erwin Engeler






Curriculum Vitae: My address:
Department of Mathematics, HG G 50.1
Federal Institute of Technology
8092 Zurich, Switzerland

How to contact me be email: engeler@math.ethz.ch

Click here to visit the home page of my wife Dr. phil. Margaret Engeler.


Dates and Stations

Born in Schaffhausen, Switzerland on the 13th February 1930.

1955
Diploma in mathematics at the ETH, Zurich
1956
Marriage to Margaret née Knecht, Dr.phil. (Two children, Christopher, Dr.med. and Suzanne, Dr.iur.)
1958
Dr.sc.math. ETH, Zurich (Prof. P. Bernays)
1958
Assistant Professor at the University of Minnesota
1962/63
Assistant Professor at the University of California, Berkeley
1964/72
Associate Professor and Full Professor at the University of Minnesota
1972/97
Professor of Logic and Computer Science, Mathematics Department, ETH, Zurich

Activities and Offices


Publications

  1. Classical model theory and infinitary languages


  2. Categories in model theory


  3. Algorithmic properties of structures and logics of programs


  4. Galois connections and structure of programs


  5. Foundations and philosophy of science


  6. Combinatory algebra as a foundational structure for mathematics


  7. Neuroscience


  8. Miscellaneous

Current Projects and Talks