Engeler Erwin

Engeler Erwin is a distinguished academic, serving as Professor of Logic and Computer Science at ETH Zurich's Mathematics Department from 1972 to 1997, later becoming Professor Emeritus. He held prior positions at the University of Minnesota and UC Berkeley. Born in Schaffhausen, Switzerland (1930), he earned his Diploma in Mathematics (1955) and Dr.sc.math. (1958) from ETH Zurich under Prof. P. Bernays.

• Affiliations: ETH Zurich, University of Minnesota, UC Berkeley
• Roles: Professor, Academic Leader, Editor, Author

Research Interests: His work spans foundational areas in mathematical logic, infinitary logic, algorithmic logic, and theoretical neuroscience, with contributions to computer science's theoretical underpinnings. His interdisciplinary focus bridges logic, algebra, and computational theory.

Awards: ACM Fellow (1997), membership in Academia Europaea, and leadership roles in Swiss and international computing societies.

Advising & Grants: No specific advising or grant details documented here. However, he authored influential books in logic and computer science, translated into multiple languages, and edited scientific journals and symposia.