Erwin Engeler

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.

Erlenger was named a Fellow of the Association for Computing Machinery in 1995.

elected publications

*cite book|last = Engeler|first = Erwin|title = Algorithmic Properties of Structures: Selected Papers of Erwin Engeler|publisher = World Scientific|date = 1993|isbn = 9810208723|url = http://books.google.com/books?id=ceQELfMVEOkC

External links

*MathGenealogy|id=34714
* [http://www.math.ethz.ch/~engeler/ Professor Engeler's home page] at the ETH Zurich.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Preda Mihăilescu — Infobox Scientist name = Preda Mihăilescu image width = caption = birth date = birth date and age|1955|5|23 birth place = Bucharest, Romania death date = death place = residence = Romania flagicon|Romania Switzerland flagicon|Switzerland Germany… …   Wikipedia

  • Preda Mihailescu — Preda Mihăilescu Preda V. Mihăilescu (* 23. Mai 1955 in Bukarest) ist ein in der Schweiz und in Deutschland wirkender rumänischer Mathematiker. Er erlangte insbesondere durch den Beweis der catalanschen Vermutung weltweites Ansehen. Er ist der… …   Deutsch Wikipedia

  • Preda Mihăilescu — Preda V. Mihăilescu (* 23. Mai 1955 in Bukarest) ist ein in der Schweiz und in Deutschland wirkender rumänischer Mathematiker. Er erlangte insbesondere durch den Beweis der catalanschen Vermutung weltweites Ansehen. Er is …   Deutsch Wikipedia

  • Omega-categorical theory — In mathematical logic, an omega categorical theory is a theory that has only one countable model up to isomorphism. Omega categoricity is the special case κ =   = ω of κ categoricity, and omega categorical theories are also… …   Wikipedia

  • Preda Mihăilescu — Preda V. Mihăilescu (né le 23 mai 1955 à Bucarest) est un mathématicien roumain connu pour sa démonstration de la conjecture de Catalan. Il est le frère de l anthropologiste Vintilă Mihăilescu. Après avoir quitté la Roumanie en 1973, il …   Wikipédia en Français

  • Liste der Biografien/En — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia

  • List of Olympic medalists in athletics (men) — This is the complete list of men s Olympic medalists in athletics from 1896 to 2008. See also: List of Olympic medalists in athletics (women), Athletics at the Summer Olympics, and Lists of Olympic medalists Contents 1 Current program …   Wikipedia

  • List of mathematicians (E) — NOTOC Ear * Earl, Edward (USA, 1964 ) * Earnshaw, Samuel (England, 1805 1888) * Easley, Annie (USA, 1933 ) * Eastaway, Rob (UK, ? ) * Echegaray, José (Spain, 1832 1916) * Eckler, A. Ross (USA, 1901 1991) * Eckler, Jr., A. Ross (USA, 1927 ) *… …   Wikipedia

  • Gerda Steiner & Jörg Lenzlinger — Gerda Steiner (* 1967 in Ettiswil, Schweiz) und Jörg Lenzlinger (* 1964 in Uster, Schweiz) sind ein schweizerisches Künstlerduo. Inhaltsverzeichnis 1 Leben 2 Werke (Auswahl) 3 Ausstellungen (Auswahl) …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”