Erwin Engeler
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. Engeler was named a Fellow of the Association for
Computing Machinery in 1995.
(Quoted from Wikipedia, The Free Encyclopedia.)
SSLPS
The Swiss Society for Logic and Philosophy of Science (SSLPS) was founded in Zürich in 1948.
The society aims to further the development and study of logic and the philosophy of science, and to bring together those interested
in these fields. It is part of the Platform Mathematics, Astronomy
and Physics MAP of the Swiss Academy of Sciences ScNat. The SSLPS is grateful to
Professor Engeler for his many contrubutions to logic and for acting as a former president of the society.