Verena Huber-Dyson

Verena Huber-Dyson was a professor and mathematician known for her work in formal logic and group theory. Her research and teaching focus have always been in the departments of mathematics and philosophy.She was born in Naples, Italy on May 6, 1924, but spent most of her childhood in Athens. She moved with her family to Switzerland in 1940.

Verena Huber-Dyson recieved her Ph.D in mathematics in 1947 from the University of Zürich, where she studied under Andreas Speiser. She began a post-doctoral fellowship at the Institute for Advanced Study in Princeton, NJ the following year. Her monograph, Gödel's Theorems: a Workbook on Formalization was published by Teubner in 1991.

Verena Huber Dyson also worked as a consultant for Remington Rand (Univac) in Philadelphia and Hughes Aircraft in Los Angeles. She had been married and divorced twice and was the mother of two children, George Dyson and Esther Dyson.

Verena Huber-Dyson was an emeritus professor of the philosophy department of the University of Calgary in her later years and had been a tenured professor at Calgary from 1973-1988. Prior to her time at Calgary she taught at Cornell University, Goucher College, San Jose State University, Adelphi University, UCLA, University of London, ETH Zürich, Warwick University, University of Melbourne, Monash University, Australian National University in Canberra, University of Zürich, Mills College, University of Illinois, and UC Berkeley.

Verena Huber-Dyson was a part of Tarski's Group in Logic and the Methodology of Science, which is an interdisciplinary graduate program first initiated in 1957, though she did not join the group until 1959. She has been a member of the American Mathematics Society since 1949