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.

In 1959 he contributed an independent proof of several equivalent conditions to omega-categoricity, an important concept in model theory.

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.

You can help Wikipedia by expanding it.This article about a European mathematician is a stub.